Skip to content

merge queue: embarking 9.1 (0b15d07) and #48278 together#48320

Closed
mergify[bot] wants to merge 8 commits into
9.1from
mergify/merge-queue/f0845ad01b
Closed

merge queue: embarking 9.1 (0b15d07) and #48278 together#48320
mergify[bot] wants to merge 8 commits into
9.1from
mergify/merge-queue/f0845ad01b

Conversation

@mergify

@mergify mergify Bot commented Jan 7, 2026

Copy link
Copy Markdown
Contributor

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

Branch 9.1 (0b15d07) and #48278 are embarked together for merge.

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

Required conditions of queue default for merge:

Required conditions to stay in the queue:

---
checking_base_sha: 0b15d079c4bce601156c2663cf8b57325d65cb1d
previous_failed_batches: []
pull_requests:
  - number: 48278
...

github-actions Bot and others added 8 commits December 30, 2025 15:14
Made with ❤️️ by updatecli
Made with ❤️️ by updatecli
Made with ❤️️ by updatecli
Made with ❤️️ by updatecli
Made with ❤️️ by updatecli
Made with ❤️️ by updatecli
Made with ❤️️ by updatecli
@github-actions

github-actions Bot commented Jan 7, 2026

Copy link
Copy Markdown
Contributor

🤖 GitHub comments

Just comment with:

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

@botelastic botelastic Bot added the needs_team Indicates that the issue/PR needs a Team:* label label Jan 7, 2026
@botelastic

botelastic Bot commented Jan 7, 2026

Copy link
Copy Markdown

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

@mergify mergify Bot closed this Jan 7, 2026
@mergify mergify Bot deleted the mergify/merge-queue/f0845ad01b branch January 7, 2026 19:28
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.

0 participants