ci(Mergify): configuration update - #4104
Open
Aire-One wants to merge 2 commits into
Open
Mergify / Summary
succeeded
Jul 29, 2026 in 5s
2 potential rules
Rule: automatic merge (merge)
-
#approved-reviews-by>=2 -
-conflict[📌 merge requirement] -
check-success=lua5.5 -
github-review-approved[🛡 GitHub branch protection] -
-closed[📌 merge requirement] -
-draft[📌 merge requirement] -
check-success=codecov-lua5.3 -
check-success=fixed-lgi-lua5.2 -
check-success=lua5.1 -
check-success=lua5.2 -
check-success=lua5.4 -
check-success=luajit -
check-success=main -
label!=no-mergify -
status-success=codecov/patch - any of: [📌 merge -> configuration change requirements]
-
check-success = Configuration changed -
-mergify-configuration-changed
-
- any of: [🛡 GitHub branch protection]
-
check-success = codecov/patch -
check-neutral = codecov/patch -
check-skipped = codecov/patch
-
Rule: automatic merge (dismiss_reviews)
-
#approved-reviews-by>=2 -
check-success=lua5.5 -
check-success=codecov-lua5.3 -
check-success=fixed-lgi-lua5.2 -
check-success=lua5.1 -
check-success=lua5.2 -
check-success=lua5.4 -
check-success=luajit -
check-success=main -
label!=no-mergify -
status-success=codecov/patch
Mergify commands and options
More conditions and actions can be found in the documentation.
You can also trigger Mergify actions by commenting on this pull request:
@Mergifyio refreshwill re-evaluate the rules@Mergifyio rebasewill rebase this PR on its base branch@Mergifyio updatewill merge the base branch into this PR@Mergifyio backport <destination>will backport this PR on<destination>branch
Additionally, on Mergify dashboard you can:
- look at your merge queues
- generate the Mergify configuration with the config editor.
Finally, you can contact us on https://mergify.com
Loading