Labels

• bug
• dependencies

  Pull requests that update a dependency file
• dev

  This is an issue relevant to our `dev` branch
• duplicate

  This issue or pull request already exists
• feature request
• good first issue

  Good for newcomers
• help wanted

  We need help to tackle this issue
• invalid

  This doesn't seem right
• merge-queue

  merge on green CI
• more data needed
• P0

  blocker: fix immediately!
• P1

  critical: next release
• P2

  major: an upcoming release
• P3

  minor: not priorized
• question

  Further information is requested
• wontfix

  This will not be worked on