Skip to content

merge queue: checking main (9126fe8) and #12367 together - #12373

Closed
mergify[bot] wants to merge 2 commits into
mainfrom
mergify/merge-queue/a5aa30439a
Closed

merge queue: checking main (9126fe8) and #12367 together#12373
mergify[bot] wants to merge 2 commits into
mainfrom
mergify/merge-queue/a5aa30439a

Conversation

@mergify

@mergify mergify Bot commented Aug 13, 2026

Copy link
Copy Markdown
Contributor

🎉 This pull request has been checked successfully and will be merged soon. 🎉

Branch main (9126fe8) and #12367 are queued together for merge.

This pull request has been created by Mergify to check the mergeability of #12367.
You don't need to do anything. Mergify will close this pull request automatically when it is complete.

Required conditions of queue rule default for merge:

Required conditions to stay in the queue:

---
checking_base_sha: 9126fe868dc10b6e01c7d8d8ba2099f551d7ae3d
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 12367
    scopes: []
scopes: []
...

sileht and others added 2 commits August 12, 2026 20:23
The Ruleset Rule Compatibility table put "Used by Merge Protections" in the
`required_deployments` behavior column, directly under two rows reading
"Injected as conditions". Readers compared the rows and concluded Mergify
turns the rule into a merge condition and holds a pull request until the
required deployment succeeds. It does not: the rule is never injected, for
the merge action or the merge queue.

There is nothing for the table to say about it, so the row goes and the rule
joins the Ignored Rule Types list, which already carries the right message:
Mergify will not enforce these, ensure GitHub does.

The intro made the same blanket claim one level up and now says Mergify
injects the supported rules as conditions.

Fixes MRGFY-8644

Change-Id: Id4da85649474e01415e299033832bf04154a172b
@mergify
mergify Bot deployed to Mergify Merge Protections August 13, 2026 07:04 Active
@mergify mergify Bot closed this Aug 13, 2026
@mergify
mergify Bot deleted the mergify/merge-queue/a5aa30439a branch August 13, 2026 07:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant