Skip to content

Update docs (backport #13382)#13645

Merged
mergify[bot] merged 1 commit into2.28-maintenancefrom
mergify/bp/2.28-maintenance/pr-13382
Jul 31, 2025
Merged

Update docs (backport #13382)#13645
mergify[bot] merged 1 commit into2.28-maintenancefrom
mergify/bp/2.28-maintenance/pr-13382

Conversation

@mergify
Copy link
Contributor

@mergify mergify bot commented Jul 30, 2025

Motivation

Context


Add 👍 to pull requests you find important.

The Nix maintainer team uses a GitHub project board to schedule and track reviews.


This is an automatic backport of pull request #13382 done by [Mergify](https://mergify.com).

(cherry picked from commit 785f386)
@mergify mergify bot added automatic backport This PR is a backport produced by automation (does not trigger backporting) merge-queue labels Jul 30, 2025
mergify bot added a commit that referenced this pull request Jul 30, 2025
mergify bot added a commit that referenced this pull request Jul 30, 2025
mergify bot added a commit that referenced this pull request Jul 30, 2025
@mergify mergify bot merged commit 84f27a1 into 2.28-maintenance Jul 31, 2025
27 checks passed
@mergify mergify bot deleted the mergify/bp/2.28-maintenance/pr-13382 branch July 31, 2025 03:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

automatic backport This PR is a backport produced by automation (does not trigger backporting) documentation merge-queue

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant