Skip to content

merge queue: checking main (37f7995) and #12022 together#12029

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

merge queue: checking main (37f7995) and #12022 together#12029
mergify[bot] wants to merge 2 commits into
mainfrom
mergify/merge-queue/eee71b4cb3

Conversation

@mergify

@mergify mergify Bot commented Jul 6, 2026

Copy link
Copy Markdown
Contributor

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

Branch main (37f7995) and #12022 are queued together for merge.

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

JulianMaurin and others added 2 commits July 3, 2026 15:44
…mentation

Render a "GitHub documentation" link from the documentation_url published in
the schema's x-mergify-attribute-metadata extension: under the attribute
description in the HTML attributes table, and appended inline to the
description cell in the markdown/LLM export. The link is omitted in the
search-highlight render path, whose highlight markers would corrupt the URL.

Until the engine schema carrying documentation_url is synced, the tables
render unchanged.

Depends-On: Mergifyio/monorepo#36225

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_012ZfAq32gVtFih34eYFeEAr

Change-Id: If95fda51d6ef50cad9a46947c59558fe96a895e3
@mergify mergify Bot deployed to Mergify Merge Protections July 6, 2026 15:10 Active
@mergify mergify Bot closed this Jul 6, 2026
@mergify mergify Bot deleted the mergify/merge-queue/eee71b4cb3 branch July 6, 2026 15:13
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