Labels

• 3rd party

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

  Something isn't working
• dependencies

  Pull requests that update a dependency file
• dependent
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• 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
• refactoring

  Quality improvement of existing functions
• urgent

  should be done soon
• wontfix

  This will not be worked on