Skip to content

merge queue: embarking 2.28-maintenance (0d763f7) and #13583 together#13654

Closed
mergify[bot] wants to merge 2 commits into2.28-maintenancefrom
mergify/merge-queue/4b3a1e9a06
Closed

merge queue: embarking 2.28-maintenance (0d763f7) and #13583 together#13654
mergify[bot] wants to merge 2 commits into2.28-maintenancefrom
mergify/merge-queue/4b3a1e9a06

Conversation

@mergify
Copy link
Contributor

@mergify mergify bot commented Jul 30, 2025 •
edited
Loading

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

Branch 2.28-maintenance (0d763f7) and #13583 are embarked together for merge.

This pull request has been created by Mergify to speculatively check the mergeability of #13583.
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:

  • check-success=installer test on macos
  • check-success=installer test on ubuntu
  • check-success=tests on macos
  • check-success=tests on ubuntu
  • check-success=vm_tests
  • any of [🛡 GitHub branch protection]:
    • check-success = installer test on macos
    • check-neutral = installer test on macos
    • check-skipped = installer test on macos
  • any of [🛡 GitHub branch protection]:
    • check-success = installer test on ubuntu
    • check-neutral = installer test on ubuntu
    • check-skipped = installer test on ubuntu
  • any of [🛡 GitHub branch protection]:
    • check-success = tests on macos
    • check-neutral = tests on macos
    • check-skipped = tests on macos
  • any of [🛡 GitHub branch protection]:
    • check-success = tests on ubuntu
    • check-neutral = tests on ubuntu
    • check-skipped = tests on ubuntu

Required conditions to stay in the queue:

---
checking_base_sha: 0d763f7ce251e26c192fbea09064cfe7ec925fde
previous_failed_batches: []
pull_requests:
  - number: 13583
...

roberth and others added 2 commits July 30, 2025 11:56
@roberth @mergify
doc: Render verbatim @docroot@ on contributing page
4a1e3ad 
In rendered form:

```diff
-Add references to the manual using ..
+Add references to the manual using [links like this](@docroot@/example.md)
```

(cherry picked from commit 147a34c)
@mergify
Merge of #13583
91eadf1
@mergify mergify bot closed this Jul 30, 2025
@mergify mergify bot deleted the mergify/merge-queue/4b3a1e9a06 branch July 30, 2025 19:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

documentation

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@roberth