Labels

• bug

  Bug in a tool (report, fix, etc. thereof)
• enhancement

  Extension of an existing tool
• infra

  Anything that is not related to a specific tool directly
• new-tool

  Addition of a new tool
• question

  Question about a tool or the software
• refactoring

  No changes to the functionality