Skip to content

Comments

merge queue: embarking main (b302953) and #10272 together#10280

Closed
mergify[bot] wants to merge 2 commits intomainfrom
mergify/merge-queue/1d718f75b1
Closed

merge queue: embarking main (b302953) and #10272 together#10280
mergify[bot] wants to merge 2 commits intomainfrom
mergify/merge-queue/1d718f75b1

Conversation

@mergify
Copy link
Contributor

@mergify mergify bot commented Feb 19, 2026

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

Branch main (b302953) and #10272 are embarked together for merge.

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

jd and others added 2 commits February 19, 2026 09:35
Set linkinator verbosity to error so CI output only shows broken links
instead of hundreds of [200] lines, making failures easier to diagnose.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Change-Id: I8c95bd3f4eb02df84d1ed4ff1bd6d6a5d5053354
Claude-Session-Id: 69c83693-eaff-4d03-a756-350d189478f0
@mergify mergify bot deployed to Mergify Merge Protections February 19, 2026 09:38 Active
@mergify mergify bot closed this Feb 19, 2026
@mergify mergify bot deleted the mergify/merge-queue/1d718f75b1 branch February 19, 2026 09:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant