Labels

• bug
• devops

  Changes regarding CI workflows and repo management
• documentation

  Something missing / wrong in the documentation
• duplicate
• enhancement
• fixed-dev

  Bugs that are fixed on development branches, but not in the current release
• help-wanted
• hotfix-needed

  For critical bugs (e.g. on the master branch)
• invalid
• question
• refactor
• release
• release-candidate
• stale

  Automatic label for stale issues
• wontfix