mirror of
https://github.com/github/codeql.git
synced 2026-07-09 05:25:32 +02:00
Note that when a line is marked `// BAD [NOT DETECTED]` but actually has an alert, I assume that the `[NOT DETECTED]` is outdated and should be deleted.