Conversation
| import sphinx_rtd_theme | ||
| html_theme = 'sphinx_rtd_theme' | ||
|
|
||
| html_theme = "sphinx_rtd_theme" |
Check notice
Code scanning / CodeQL
Unused global variable
There was a problem hiding this comment.
Since Sphinx seems to use magic variables, I am unsure what pattern to use to suppress this warning. Might be worthwhile just manually dismissing this whenever we make an edit to this file. That way we'd still get CodeQL analysis everywhere else (where we are unlikely to use such weird patterns).
a585d7f to
6aab9b6
Compare
ckreibich
left a comment
There was a problem hiding this comment.
I look forward to having this in there. One request Benjamin: could you introduce a .git-blame-ignore-revs file covering the reformatting commit, so we keep git blame working? We have that in Zeek too.
6aab9b6 to
e2e83e0
Compare
e2e83e0 to
2b0f8e7
Compare
Even though I am unsure this can actually lead to issues, this was flagged by CodeQL. Implementing a proper workaround instead of continously whitelisting these instances.
2b0f8e7 to
4a28a69
Compare
awelzel
left a comment
There was a problem hiding this comment.
Approving based on skimming through and I like the idea.
No description provided.