Labels

• dependencies

  Pull requests that update a dependency file
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• issue: bug

  Something isn't working
• pr: backport done
• pr: backport todo
• pr: breaking
• pr: clean-fix
• pr: dev meeting topic

  Worth discussion at dev meeting
• pr: experimental
• pr: fast-merge
• pr: highlighted in next release

  Highlight this contribution in the notes of the upcoming release
• pr: new feature
• pr: status ready
• pr: status to review
• pr: status wip