Rule: label needs: work when changes were requested (label)

• #changes-requested-reviews-by>0

Rule: label needs: work when GitHub Actions jobs have failed (label)

• check-failure=cmake-checks
• check-failure=docs-check
• check-failure=frozen-tools-check
• check-failure=include-check
• check-failure=license-check
• check-failure=pin-validation
• check-failure=python-tests
• check-failure=style-check
• label!='needs: work'
• label!=mergify skip

Rule: label needs: work when Jenkins CI failed - pr head (label)

• check-failure~=continuous-integration/jenkins/pr-head
• label=needs: CI
• -closed
• label!=mergify skip

Rule: label needs: work when Jenkins CI failed - any of the pipeline (label)

• check-failure~=^jenkins-ci
• label=needs: CI
• label!=mergify skip

Rule: label needs: CI when at least one reviewers approval (label)

• #approved-reviews-by>=1
• check-success=cmake-checks
• check-success=docs-check
• check-success=frozen-tools-check
• check-success=include-check
• check-success=license-check
• check-success=pin-validation
• check-success=python-tests
• check-success=style-check
• #changes-requested-reviews-by=0
• -check-failure~=continuous-integration/jenkins/pr-head
• -check-success~=continuous-integration/jenkins/pr-head
• -conflict
• label!=needs: preceding PR

✅ Rule: remove outdated reviews (dismiss_reviews)

Rule: label needs: work when there is a conflict (comment, label)

• conflict
• -closed

Rule: label "ready for merge" when ready (label)

• #approved-reviews-by>=1
• check-success=cmake-checks
• check-success=docs-check
• check-success=frozen-tools-check
• check-success=include-check
• check-success=license-check
• check-success=pin-validation
• check-success=python-tests
• check-success=style-check
• check-success~=continuous-integration/jenkins/pr-head
• label=needs: CI
• #changes-requested-reviews-by=0
• -check-failure~=^jenkins-ci
• label!=do not merge
• label!=mergify skip

Rule: remove ready for merge when merged (label)

• label=ready for merge
• merged

Rule: add "do not merge" label when WIP is in title (label)

• title~=^(\[wip\]( |:) |\[WIP\]( |:) |wip( |:) |WIP( |:)).*

Rule: release version is a must for merged PRs part 1 (comment, label)

• merged
• -label~=^(Release review required)
• -label~=^(release-type)
• -label~=^(release-version)

Rule: release version is a must for merged PRs part 2.1 (label)

• label=^(release-version)
• merged

Rule: release version is a must for merged PRs part 2.2 (label)

• label=^(release-type)
• merged

Rule: remove release version and needs labels (label)

• closed
• -merged