mirror of
https://github.com/github/codeql.git
synced 2025-12-22 03:36:30 +01: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.