mirror of
https://github.com/github/codeql.git
synced 2025-12-27 06:06:32 +01:00
This reverts commit8d15680af4, reversing changes made to63831cc62b. This PR caused performance problems, so reverting now to clear up immediate problems.