mirror of
https://github.com/github/codeql.git
synced 2026-04-27 09:45:15 +02:00
This moves the following three PRs to the 3.7 branch: - https://github.com/github/codeql/pull/10182 - https://github.com/github/codeql/pull/10146 - https://github.com/github/codeql/pull/10105