Skip to content

merge queue: checking #13261 + #13262 together on main (5e04622) - #13263

Merged
mergify[bot] merged 4 commits into
mainfrom
mergify/merge-queue/333dfa5757
Oct 7, 2026
Merged

mergify[bot] merged 4 commits into
mainfrom
mergify/merge-queue/333dfa5757

Conversation

@mergify

@mergify mergify Bot commented Oct 7, 2026 •

Copy link
Copy Markdown
Contributor

🎉 This combination of pull requests has been checked successfully and will be merged soon. 🎉

#13261 + #13262 are queued together for merge on branch main (5e04622).

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

Required conditions of queue rule automated updates for merge:

Required conditions to stay in the queue:

---
all_scopes: false
checking_base_sha: 5e04622918a2d0ab2ff07e3edfaa3882662e09f6
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 13261
    scopes: []
  - number: 13262
    scopes: []
scopes: []
...

@mergify
mergify Bot deployed to Mergify Merge Protections October 7, 2026 02:52 Active
@mergify
mergify Bot merged commit d6e5e52 into main Oct 7, 2026
11 checks passed
@mergify
mergify Bot deleted the mergify/merge-queue/333dfa5757 branch October 7, 2026 02:55

This branch was successfully deployed

1 active deployment
Mergify Merge Protections — d6e5e526 Deployed Oct 7, 2026 by mergify[bot]
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.

0 participants