mirror of
https://github.com/github/codeql.git
synced 2026-01-29 14:23:03 +01:00
We've occasionally had to tell people to set this variable manually, so we might as well have an alias that doesn't refer to a soon-to-be obsolete product.