Labels

Pull requests that update a dependency file

Pull requests that update GitHub Actions code

Good for newcomers

Extra attention is needed

Pull requests that update Java code

This issue or pull request already exists

This will not be worked on

Something isn't working

Improvements or additions to documentation

New feature or request