Labels

• a:bug

  a:bug

  Something isn't working

• a:enhancement

  a:enhancement

  New feature or request

• a:question

  a:question

  Further information is requested

• dependencies

  dependencies

  Pull requests that update a dependency file

• github_actions

  github_actions

  Pull requests that update GitHub Actions code

• invalid

  invalid

  This doesn't seem right

• java

  java

  Pull requests that update Java code

• pending:feedback

  pending:feedback

  Issues waiting for feedback from the reporter

• pending:reproducer

  pending:reproducer

  Issues waiting for a reproducer

• wontfix

  wontfix

  This will not be worked on