Labels

• bug

  Issue to be fix (issue and PR) - release notes section
• CI

  CI workflow improvement or update (issue and PR) - release notes section
• dev tool

  Dev tool improvement or update (issue and PR) - release notes section
• duplicate

  This issue or pull request already exists
• good first issue

  Good for newcomers
• improvement

  Feature or update (issue and PR) - release notes section
• internal

  Ignore this PR in automatically generated release notes - no release notes section
• maintenance

  Code maintenance (issue and PR) - release notes section
• question

  Further information is requested
• wontfix

  This will not be worked on