Labels

Something isn't working

changes requested

merge conflict

Pull requests that update a dependency file

duplicate -> close?

New feature or request

very large

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

large changes

medium changes

merge to master