Skip to content

merge queue: embarking 9.1 (7e007a1) and #45294 together#45306

Closed
mergify[bot] wants to merge 2 commits into9.1from
mergify/merge-queue/3e2a740ff1
Closed

merge queue: embarking 9.1 (7e007a1) and #45294 together#45306
mergify[bot] wants to merge 2 commits into9.1from
mergify/merge-queue/3e2a740ff1

Conversation

@mergify
Copy link
Copy Markdown
Contributor

@mergify mergify Bot commented Jul 10, 2025

✨ Merge queue reset: an external action moved the base branch head to 7597661. The pull request #45294 has been re-embarked. ✨

Branch 9.1 (7e007a1) and #45294 are embarked together for merge.

This pull request has been created by Mergify to speculatively check the mergeability of #45294.
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:

---
previous_failed_batches: []
pull_requests:
  - number: 45294
...

github-actions Bot and others added 2 commits July 10, 2025 15:12
Made with ❤️️ by updatecli
@github-actions
Copy link
Copy Markdown
Contributor

🤖 GitHub comments

Expand to view the 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 Jul 10, 2025
@botelastic
Copy link
Copy Markdown

botelastic Bot commented Jul 10, 2025

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

@mergify mergify Bot closed this Jul 10, 2025
@mergify
Copy link
Copy Markdown
Contributor Author

mergify Bot commented Jul 10, 2025

Merge queue reset: an external action moved the base branch head to 7597661

@mergify mergify Bot deleted the mergify/merge-queue/3e2a740ff1 branch July 10, 2025 17:56
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.

0 participants