Labels

• area:ci

  CI/CD, GitHub Actions, workflows
• bug

  Something isn't working
• chore

  General tasks (e.g. update dependencies, contact a manufacturer, read a paper)
• dependencies

  Pull requests that update a dependency file
• deploy

  Automated smoke-test deploy PRs
• discussion

  Discuss new ideas
• docs

  Improvements or additions to documentation
• feature

  New feature or request
• github_actions

  Pull requests that update GitHub Actions code
• merge-conflict
• refactor

  Modifications that do not bring any significant change (e.g. style, reorganization)
• release-kind:candidate

  Automated release kind label for dispatch orchestration
• wontfix

  This will not be worked on (duplicate, irrelevant...)