Skip to content

merge queue: queuing main (bddd0bb) and #11906 together#11918

Closed
mergify[bot] wants to merge 3 commits into
mainfrom
mergify/merge-queue/d2469e9811
Closed

merge queue: queuing main (bddd0bb) and #11906 together#11918
mergify[bot] wants to merge 3 commits into
mainfrom
mergify/merge-queue/d2469e9811

Conversation

@mergify

@mergify mergify Bot commented Jun 24, 2026

Copy link
Copy Markdown
Contributor

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

Branch main (bddd0bb) and #11906 are queued together for merge.

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

JulianMaurin and others added 3 commits June 23, 2026 16:51
Replace the stub overview with a hub page matching the other products: a benefit-led intro, an annotated pull_request_rules example, the edge-triggering note, and DocsetGrid cards for the building blocks and the most-used actions. Render the title in the section accent via hubAccent.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Change-Id: I21f19283a7dc5eccb499e1d264b151d2366812c5
Replace the placeholder stub with a field-by-field reference: the pull_request_rules fields table, how conditions and actions compose, rule evaluation, disabling a rule, and local validation. The conceptual intro is left to the overview to avoid duplication.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Change-Id: I4fa35918e0f13360b29905f901ccb0a6ada88ecf
@mergify mergify Bot deployed to Mergify Merge Protections June 24, 2026 07:36 Active
@mergify mergify Bot closed this Jun 24, 2026
@mergify mergify Bot deleted the mergify/merge-queue/d2469e9811 branch June 24, 2026 07:38
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