Skip to content

Conversation

@mergify
Copy link
Contributor

@mergify mergify bot commented Nov 25, 2025

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

Branch 9.2 (63bdfd3) and #47765 are embarked together for merge.

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

github-actions bot and others added 3 commits November 24, 2025 15:14
Made with ❤️️ by updatecli
Made with ❤️️ by updatecli
@github-actions
Copy link
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 Nov 25, 2025
@botelastic
Copy link

botelastic bot commented Nov 25, 2025

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

@mergify mergify bot closed this Nov 25, 2025
@mergify mergify bot deleted the mergify/merge-queue/4e071ed943 branch November 25, 2025 21:27
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