Labels

• dependencies

  dependencies

  Pull requests that update a dependency file

• documentation

  documentation

  Improvements or additions to documentation

• duplicate

  duplicate

  This issue or pull request already exists

• enhancement

  enhancement

  New feature or request

• issue: bug

  issue: bug

  Something isn't working

• pr: backport done

  pr: backport done

• pr: backport todo

  pr: backport todo

• pr: breaking

  pr: breaking

• pr: clean-fix

  pr: clean-fix

• pr: experimental

  pr: experimental

• pr: fast-merge

  pr: fast-merge

• pr: highlighted in next release

  pr: highlighted in next release

  Highlight this contribution in the notes of the upcoming release

• pr: new feature

  pr: new feature

• pr: status ready

  pr: status ready

• pr: status to review

  pr: status to review

• pr: status wip

  pr: status wip

• topic for next dev-meeting

  topic for next dev-meeting

  Worth discussion at dev meeting