Labels

• breaking

  PR for a breaking change
• dependencies

  PR that updates a dependency file
• documentation

  PR for documentation
• fix

  PR bug fix
• general

  PR for general changes (cf. 'technical' label)
• github_actions

  Pull requests that update GitHub Actions code
• java

  Pull requests that update java code
• qadb

  PR for QADB generation
• rg-l

  PR for Run Group L
• technical

  PR for technical change, CI, build system, etc.