Skip to content

merge queue: embarking main (a4fc6ec), #4819, #4818, #4822, #4821 and #4823 together#4911

Closed
mergify[bot] wants to merge 10 commits intomainfrom
mergify/merge-queue/b30c95cf77
Closed

merge queue: embarking main (a4fc6ec), #4819, #4818, #4822, #4821 and #4823 together#4911
mergify[bot] wants to merge 10 commits intomainfrom
mergify/merge-queue/b30c95cf77

Conversation

@mergify
Copy link
Copy Markdown
Contributor

@mergify mergify Bot commented Apr 22, 2026

✨ Pull request #4819 which was ahead in the queue has been dequeued (for the following reason: pull request merged manually). The pull request #4823 has been re-embarked. ✨

Branch main (a4fc6ec), #4819, #4818, #4822, #4821 and #4823 are embarked together for merge.

This pull request has been created by Mergify to speculatively check the mergeability of #4823.
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: 10bd9d49dfc8a21a01ed527cf9b8d247f2abf6aa
previous_failed_batches: []
pull_requests:
  - number: 4823
    scopes: []
scopes: []
...

@mergify mergify Bot closed this Apr 22, 2026
@mergify mergify Bot deleted the mergify/merge-queue/b30c95cf77 branch April 22, 2026 23:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants