Skip to content

merge queue: embarking 9.3 (ba5c2e8) and #49816 together#49832

Closed
mergify[bot] wants to merge 3 commits into9.3from
mergify/merge-queue/4ae7a7f006
Closed

merge queue: embarking 9.3 (ba5c2e8) and #49816 together#49832
mergify[bot] wants to merge 3 commits into9.3from
mergify/merge-queue/4ae7a7f006

Conversation

@mergify
Copy link
Copy Markdown
Contributor

@mergify mergify bot commented Apr 1, 2026

✨ New commits have been added to the draft pull request that were not made by Mergify. ✨

Branch 9.3 (ba5c2e8) and #49816 are embarked together for merge.

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

@github-actions
Copy link
Copy Markdown
Contributor

github-actions bot commented Apr 1, 2026

🤖 GitHub comments

Just comment with:

  • run docs-build : Re-trigger the docs validation. (use unformatted text in the comment!)

@mergify mergify bot closed this Apr 1, 2026
@mergify mergify bot deleted the mergify/merge-queue/4ae7a7f006 branch April 1, 2026 08:47
@botelastic botelastic bot added the needs_team Indicates that the issue/PR needs a Team:* label label Apr 1, 2026
@botelastic
Copy link
Copy Markdown

botelastic bot commented Apr 1, 2026

This pull request doesn't have a Team:<team> label.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

needs_team Indicates that the issue/PR needs a Team:* label

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant