mirror of
https://github.com/github/codeql.git
synced 2026-07-21 11:18:20 +02: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.