Labels

• bug
• chore

  Reduces maintenance effort
• dependencies

  Pull requests that update a dependency file
• developer

  Developer focused rather than end-user
• documentation
• enhancement

  New feature or functionality improvement
• github_actions

  Pull requests that update GitHub Actions code
• internal
• java

  Pull requests that update Java code
• skip-changelog

  Do not include in the changelog
• test

  Addition or improvement to test or test data