Skip to content

Conversation

@mergify
Copy link
Contributor

@mergify mergify bot commented Nov 3, 2025

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

Branch main (be9871f) and #47391 are embarked together for merge.

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

github-actions bot and others added 3 commits October 29, 2025 15:14
Made with ❤️️ by updatecli
Made with ❤️️ by updatecli
@github-actions
Copy link
Contributor

github-actions bot commented Nov 3, 2025

🤖 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 3, 2025
@botelastic
Copy link

botelastic bot commented Nov 3, 2025

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

@mergify mergify bot closed this Nov 3, 2025
@mergify mergify bot deleted the mergify/merge-queue/ecd30b6b8b branch November 3, 2025 18:55
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