Skip to content

merge queue: embarking 2.28-maintenance (0d763f7), #13583 and #13578 together#13655

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

merge queue: embarking 2.28-maintenance (0d763f7), #13583 and #13578 together#13655
mergify[bot] wants to merge 4 commits into2.28-maintenancefrom
mergify/merge-queue/193c0eff26

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), #13583 and #13578 are embarked together for merge.

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

Ericson2314 and others added 4 commits July 30, 2025 11:40
@Ericson2314 @mergify
Document more references concepts
0560581 
(cherry picked from commit b287438)
@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
e43c871
@mergify
Merge of #13578
9f62cda
@mergify mergify bot closed this Jul 30, 2025
@mergify mergify bot deleted the mergify/merge-queue/193c0eff26 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.

2 participants

@Ericson2314 @roberth