Labels

• bug

  bug

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

• enhancement

  enhancement

  Extension of an existing tool

• infra

  infra

  Anything that is not related to a specific tool directly

• new-tool

  new-tool

  Addition of a new tool

• question

  question

  Question about a tool or the software

• refactoring

  refactoring

  No changes to the functionality