mirror of
https://github.com/github/codeql.git
synced 2026-01-15 15:34:49 +01:00
The referenced file lives in the internal repo, so this is perhaps a bit of a hack, but I think it should be fine in the short run.
The referenced file lives in the internal repo, so this is perhaps a bit of a hack, but I think it should be fine in the short run.