Labels

• bug

  Something isn't working
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• infrastructure

  This is a task improving our (development) infrastructure
• invalid

  This doesn't seem right
• priority high

  This issue has a high priority
• priority low

  This issue has a low priority
• priority medium

  This issue has a medium priority
• question

  Further information is requested
• task

  This is a simple task that needs doing
• wontfix

  This will not be worked on
• γ

  Tasks of team gamma