Labels

• duplicate

  This issue or pull request already exists
• good first issue

  Good for newcomers
• 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
• P4

  unimportant: consider wontfix or other priority
• question

  Further information is requested
• type: bug
• type: documentation
• type: feature request
• wontfix

  This will not be worked on