Labels

• bug

  Something isn't working
• dependencies

  Pull requests that update a dependency file
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  Improvement of existing feature
• feature

  New features
• github_actions

  Pull requests that update GitHub Actions code
• help wanted

  Extra attention is needed
• invalid

  This doesn't seem right
• java

  Pull requests that update java code
• low priority

  This issue is of low priority
• question

  Further information is requested
• SECURITY

  Security vulnerability
• simple

  Simple-fix or basic feature