Labels

• a:bug

  Something isn't working
• a:enhancement

  New feature or request
• a:question

  Further information is requested
• dependencies

  Pull requests that update a dependency file
• github_actions

  Pull requests that update GitHub Actions code
• invalid

  This doesn't seem right
• java

  Pull requests that update Java code
• pending:feedback

  Issues waiting for feedback from the reporter
• pending:reproducer

  Issues waiting for a reproducer
• wontfix

  This will not be worked on