Skip to content

merge queue: embarking 9.4 (462416a), #4478, #4479, #4431, #4432 and #4433 together#4672

Closed
mergify[bot] wants to merge 10 commits into
9.4from
mergify/merge-queue/e552490c39
Closed

merge queue: embarking 9.4 (462416a), #4478, #4479, #4431, #4432 and #4433 together#4672
mergify[bot] wants to merge 10 commits into
9.4from
mergify/merge-queue/e552490c39

Conversation

@mergify
Copy link
Copy Markdown
Contributor

@mergify mergify Bot commented Apr 16, 2026

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

Branch 9.4 (462416a), #4478, #4479, #4431, #4432 and #4433 are embarked together for merge.

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

@mergify mergify Bot closed this Apr 16, 2026
@mergify mergify Bot deleted the mergify/merge-queue/e552490c39 branch April 16, 2026 21:02
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