Labels

• bug

  Bugs or performance problems
• dependencies

  Update of dependencies
• deprecated

  Deprecating API
• documentation

  Enhancement of documentation
• enhancement

  Enhancement of existing functionality
• feature

  New features
• github_actions

  Pull requests that update GitHub Actions code
• internal

  Internal changes without user or API impact
• java

  Pull requests that update java code
• removed

  Removing API
• tests

  Enhancement of tests