Skip to content

merge queue: checking main (354f59f) and #12233 together - #12246

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

merge queue: checking main (354f59f) and #12233 together#12246
mergify[bot] wants to merge 2 commits into
mainfrom
mergify/merge-queue/477f1b0a17

Conversation

@mergify

@mergify mergify Bot commented Jul 28, 2026

Copy link
Copy Markdown
Contributor

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

Branch main (354f59f) and #12233 are queued together for merge.

This pull request has been created by Mergify to check the mergeability of #12233.
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: 354f59f720edae8f68e9a4a39f7c87a23ffc42b8
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 12233
    scopes: []
scopes: []
...

jd and others added 2 commits July 27, 2026 16:29
A queued pull request held back by a Depends-On can sit behind a lower-priority
one with nothing on the page explaining why. The merge queue now answers that: a
dependency icon in the list, a "Depends On" section in the side panel linking to
each pull request it waits for, and `depends_on_pull_requests` on the merge queue
status API.

The scope is narrower than it first looks, so the page says so. The engine
computes that list from the stack-predecessor walk, which engages only when the
pull request is genuinely stacked and declares a same-repository `Depends-On:`.
A cross-repository dependency still blocks the merge but is never displayed.

MRGFY-8213

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Change-Id: I721deaa4d06b6d0c8c4af488d33b90a9e2cc54cc
@mergify
mergify Bot deployed to Mergify Merge Protections July 28, 2026 12:03 Active
@mergify mergify Bot closed this Jul 28, 2026
@mergify
mergify Bot deleted the mergify/merge-queue/477f1b0a17 branch July 28, 2026 12:05
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