Labels

• bugfix

  Something that affects our end users is fixed
• chore

  Something that does not affect the end user
• dependencies

  Pull requests that update a dependency file
• enhancement

  New feature or request that affects our end users
• github_actions

  Pull requests that update GitHub Actions code
• ignore-for-release

  PRs marked with this label will be ignored from auto-generated release notes
• javascript

  Pull requests that update javascript code
• other

  For PRs that don't fit in to any of the other categories
• Translations

  Localisation PRs