Labels

Pull requests that update a dependency file

This issue or pull request already exists

Good for newcomers

Extra attention is needed

Pull requests that update java code

Feature is optional for the milestone

Feature is essential for the next milestone.

Feature is essential for the next milestone.

This will not be worked on

Something isn't working

CI and build manager

Version updates

Improvements or additions to documentation

New feature or request

This doesn't seem right

Further information is requested