Skip to content

Conversation

@mergify
Copy link
Contributor

@mergify mergify bot commented Nov 3, 2025

✨ Pull request #47416 which was ahead in the queue has been dequeued (for the following reason: checks failed). ✨

Branch 8.19 (43ec84f) and #47416 are embarked together for merge.

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

github-actions bot and others added 3 commits October 31, 2025 15:12
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 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/e576f2aa95 branch November 3, 2025 17: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