Skip to content

Conversation

@mergify
Copy link
Contributor

@mergify mergify bot commented Dec 1, 2025

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

Branch 7.17 (1ed52bf) and #47676 are embarked together for merge.

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

github-actions bot and others added 4 commits November 17, 2025 15:14
Made with ❤️️ by updatecli
Made with ❤️️ by updatecli
Made with ❤️️ by updatecli
@botelastic botelastic bot added the needs_team Indicates that the issue/PR needs a Team:* label label Dec 1, 2025
@botelastic
Copy link

botelastic bot commented Dec 1, 2025

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

@mergify mergify bot closed this Dec 1, 2025
@mergify mergify bot deleted the mergify/merge-queue/12ef9fb309 branch December 1, 2025 16:45
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