Labels

• board

  Need to involve the board
• bug

  Something isn't working
• chore

  Something that is not a bug or a feature, does not change production behaviour
• dependency-update

  Update of a dependency
• docs

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• easy and fun

  Good for newcomers
• feature

  New feature or request
• priority: critical

  It's essential that a fix is released as soon as possible.
• priority: high

  Must be dealt with before the next release is deployed.
• priority: low

  Should be dealt with when nothing else remains.
• priority: maybe someday

  This is not really relevant, but if we have nothing else to do, then we can think about this.
• priority: medium

  A new feature or a bugfix that is non-critical.
• request-for-comments

  Author wants to have other people respond for their opinion