mirror of
https://github.com/github/codeql.git
synced 2026-01-29 14:23:03 +01:00
We've had to tell people how to do this, so we should have a name for it that doesn't refer to a defunct company.
We've had to tell people how to do this, so we should have a name for it that doesn't refer to a defunct company.