mirror of
https://github.com/github/codeql.git
synced 2026-04-15 03:54:02 +02:00
This replaces numeric tag-based prefixes with the actual tag name. While this means in general slightly larger trap files, it aids debugging them for a human. In the future we can make this conditional on some kind of trap debug option, but for the moment it does not seem detrimental.