mirror of
https://github.com/github/codeql.git
synced 2026-05-14 11:19:27 +02:00
I'm not entirely happy about this solution, but it seemed to be the most straightforward way of avoiding various kinds of token bleeding.
I'm not entirely happy about this solution, but it seemed to be the most straightforward way of avoiding various kinds of token bleeding.