Labels

• 3rd party

  related to a third-party product (library, …)
• contacts
• dependencies

  Pull requests that update a dependency file
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• events
• github_actions

  Pull requests that update GitHub Actions code
• important

  this should really be done (in a forseeable time)
• invalid

  This doesn't seem right
• java

  Pull requests that update java code
• need info

  Further information needed to continue
• pr-bugfix

  Fixes something that isn't working (only used for PRs)
• pr-feature

  Implements a new feature or functionality (only for PRs)
• refactoring

  Quality improvement of existing functions
• tasks
• urgent

  should be done soon
• wontfix

  This will not be worked on