mirror of
https://github.com/github/codeql.git
synced 2026-04-29 02:35:15 +02:00
Since we need to reserve the flexibility to change this setup within the next few months, we don't want to commit to keeping this extension point around for the 12 months that the normal API deprecation cycle requires.