Labels

PRs that fix a big.

PRs that make misc changes.

Improvements or additions to documentation

Pull requests that update a dependency file

PRs that improve documentation.

This issue or pull request already exists

PRs that add or improve features.

Pull requests that update GitHub Actions code

Good for newcomers

Extra attention is needed

This doesn't seem right

Pull requests that update Java code

Something isn't working

CI related issue

New feature or request

usage question