Labels

• 6.2

  Label for pull requests targeting [6.2] branch.
• 7.0

  Label for pull requests targeting [7.0] branch.
• 7.2

  Label for pull requests targeting [7.2] branch.
• 8.1

  Label for pull requests targeting [8.1] branch.
• backport to 5.x
• backport to 6.0
• dependencies

  Pull requests that update a dependency file
• docker

  Pull requests that update Docker code
• github_actions

  Pull requests that update GitHub Actions code
• java

  Pull requests that update Java code
• Needs a volunteer to help
• Needs more opinions
• Needs rebase
• Needs work
• On ice while we think about it
• Urgent
• Waiting for CI

  Ready to merge once CI passes
• Waiting for other pull request

  Based on another PR that should be merged first