Labels

• api change

  Use this label to document api changes of an release
• blocked

  PR is based on another PR and is therefore blocked until the other one has been merged.
• bugfix
• changes requested
• code approved
• dependencies

  Pull requests that update a dependency file
• duplicate
• feature
• force reports

  This flag forces the CI Actions to report gradle logs even when successful.
• help wanted
• high priority
• javascript

  Pull requests that update javascript code
• locked
• open challenge
• open issues

  PR has still open issues that have to be addressed.
• prebuild docker image
• preview

  Auto build a docker image and deploy it as a preview version.
• prioritized
• question
• ready to merge
• ready to review
• ready to test
• test driven
• tested
• wip