Skip to content

merge queue: checking 9.5 (127a36e) and #51900 together#51905

Closed
mergify[bot] wants to merge 2 commits into
9.5from
mergify/merge-queue/46bf2a844c
Closed

merge queue: checking 9.5 (127a36e) and #51900 together#51905
mergify[bot] wants to merge 2 commits into
9.5from
mergify/merge-queue/46bf2a844c

Conversation

@mergify

@mergify mergify Bot commented Jul 13, 2026

Copy link
Copy Markdown
Contributor

✨ Merge queue reset: an external action moved the base branch head to 945ddb7. The pull request #51900 has been requeued. ✨

Branch 9.5 (127a36e) and #51900 are queued together for merge.

This pull request has been created by Mergify to check the mergeability of #51900.
You don't need to do anything. Mergify will close this pull request automatically when it is complete.

Required conditions of queue rule default for merge:

Required conditions to stay in the queue:

---
checking_base_sha: 127a36eb761e4da47933197287a837de1148f01d
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 51900
    scopes: []
scopes: []
...

github-actions Bot and others added 2 commits July 13, 2026 16:03
Made with ❤️️ by updatecli
@github-actions

Copy link
Copy Markdown
Contributor

🤖 GitHub comments

Just comment with:

  • run docs-build : Re-trigger the docs validation. (use unformatted text in the comment!)
  • /test : Run the Buildkite pipeline.

@botelastic botelastic Bot added the needs_team Indicates that the issue/PR needs a Team:* label label Jul 13, 2026
@botelastic

botelastic Bot commented Jul 13, 2026

Copy link
Copy Markdown

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

@mergify

mergify Bot commented Jul 13, 2026

Copy link
Copy Markdown
Contributor Author

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

@mergify mergify Bot closed this Jul 13, 2026
@mergify mergify Bot deleted the mergify/merge-queue/46bf2a844c branch July 13, 2026 18:38
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