Skip to content

Conversation

@mergify
Copy link
Contributor

@mergify mergify bot commented Nov 18, 2025

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

Branch 8.19 (881020d) and #47674 are embarked together for merge.

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

github-actions bot and others added 3 commits November 17, 2025 15:14
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 18, 2025
@botelastic
Copy link

botelastic bot commented Nov 18, 2025

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

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