No labels!
There aren’t any labels for this repository quite yet.
pr-bot will merge PRs to master when branch requirements are met
PR presents a new or fancy way of doing things that’s just plain nice to look at
PR removes some cruft from an old or dirty area of the codebase
Pull requests that update a dependency file
Stops PR bot from automatically requesting reviewers from a code area
Prevent the translation step from executing on CI
Improvements or additions to documentation
This issue or pull request already exists
Extra attention is needed
Pull requests that update Java code
pr-bot will merge PRs to master when all checks are green, and all requested reviewers have approved
Make the translation CI step non-blocking
Allow merging this PR without meeting the minimum test coverage requirements.
Further information is requested
Trigger a refresh of the 'Fairely Specific Requirements' check
This will not be worked on
You can’t perform that action at this time.