Labels

• Bug report

  Something isn't working
• dependencies

  Pull requests that update a dependency file
• Feature request

  Requesting a new feature that's not implemented yet
• github_actions

  Pull requests that update GitHub Actions code
• java

  Pull requests that update java code
• javascript

  Pull requests that update javascript code
• Waiting on author

  Further information is requested