Labels

• dependencies

  dependencies

  Pull requests that update a dependency file

• documentation

  documentation

• github_actions

  github_actions

  Pull requests that update GitHub Actions code

• help wanted

  help wanted

• issue : bug

  issue : bug

• issue : can't reproduce

  issue : can't reproduce

• issue : duplicate

  issue : duplicate

• issue : external

  issue : external

• issue : good first issue

  issue : good first issue

• issue : improvement

  issue : improvement

• issue : invalid

  issue : invalid

• issue : question

  issue : question

• issue : suggestion

  issue : suggestion

• java

  java

  Pull requests that update Java code

• pr : bugfix

  pr : bugfix

• pr : code style

  pr : code style

• pr : enhancement

  pr : enhancement

• pr : feature

  pr : feature