Labels

• 🏷️ documentation

  Improvements or additions to documentation
• breaking
• bug
• ci
• dependencies
• github_actions

  Pull requests that update GitHub Actions code
• maintenance
• new
• prio: high

  Something of high priority
• prio: low

  Something of low priority
• prio: med

  Something of medium priority
• type: bug

  Something isn't working properly
• type: enhancement

  An improvement of some kind.
• type: task

  One or more actions to be taken.