Skip to content

merge queue: checking main (32660ce) and #11910 together#11931

Closed
mergify[bot] wants to merge 2 commits into
mainfrom
mergify/merge-queue/1adb18825b
Closed

merge queue: checking main (32660ce) and #11910 together#11931
mergify[bot] wants to merge 2 commits into
mainfrom
mergify/merge-queue/1adb18825b

Conversation

@mergify

@mergify mergify Bot commented Jun 25, 2026

Copy link
Copy Markdown
Contributor

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

Branch main (32660ce) and #11910 are queued together for merge.

This pull request has been created by Mergify to check the mergeability of #11910.
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: 32660ce63ab50e6c8164d1973055b4d7a35c3d87
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 11910
    scopes: []
scopes: []
...

JulianMaurin and others added 2 commits June 25, 2026 10:56
Switch the remaining single-quoted ActionOptionsTable usages to double quotes (review, squash, update), and fix update's example: "more than 5 commits", ASCII quotes, and "the merge queue updates".

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Change-Id: Ic7ecbd4611197ca0b6f6e2283c891f2dabbdd4bd
@mergify mergify Bot deployed to Mergify Merge Protections June 25, 2026 09:11 Active
@mergify mergify Bot closed this Jun 25, 2026
@mergify mergify Bot deleted the mergify/merge-queue/1adb18825b branch June 25, 2026 09:14
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