show Nix logo in the manual

[fricklerhandwerk]

Motivation

make things pretty

Context

it was long overdue

Priorities and Process

Add :+1: to pull requests you find important.

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

[roberth]

Triaged by Nix team

• @roberth: Two logos seems a bit overkill. Don't care which is removed, though if you need inspiration, I guess: https://flake.parts
• @roberth: Adding the version number to the title would be nice, but not required for the PR.

Otherwise looks ok

[fricklerhandwerk]

One will scroll out of view, the other won't, and is hidden by collapsing the side bar. But sure, pick any.

[nixos-discourse]

This pull request has been mentioned on NixOS Discourse. There might be relevant details there:

https://discourse.nixos.org/t/2024-02-16-nix-team-meeting-minutes-124/39870/1

[github-actions[bot]]

Backport failed for 2.13-maintenance, because it was unable to cherry-pick the commit(s).

Please cherry-pick the changes locally and resolve any conflicts.

git fetch origin 2.13-maintenance
git worktree add -d .worktree/backport-9870-to-2.13-maintenance origin/2.13-maintenance
cd .worktree/backport-9870-to-2.13-maintenance
git switch --create backport-9870-to-2.13-maintenance
git cherry-pick -x c219371ec8721886229ce882d68181c5afa4273d f316e01bd3021a743667f361131063c7a46a74b4

[github-actions[bot]]

Backport failed for 2.14-maintenance, because it was unable to cherry-pick the commit(s).

Please cherry-pick the changes locally and resolve any conflicts.

git fetch origin 2.14-maintenance
git worktree add -d .worktree/backport-9870-to-2.14-maintenance origin/2.14-maintenance
cd .worktree/backport-9870-to-2.14-maintenance
git switch --create backport-9870-to-2.14-maintenance
git cherry-pick -x c219371ec8721886229ce882d68181c5afa4273d f316e01bd3021a743667f361131063c7a46a74b4

[github-actions[bot]]

Backport failed for 2.15-maintenance, because it was unable to cherry-pick the commit(s).

Please cherry-pick the changes locally and resolve any conflicts.

git fetch origin 2.15-maintenance
git worktree add -d .worktree/backport-9870-to-2.15-maintenance origin/2.15-maintenance
cd .worktree/backport-9870-to-2.15-maintenance
git switch --create backport-9870-to-2.15-maintenance
git cherry-pick -x c219371ec8721886229ce882d68181c5afa4273d f316e01bd3021a743667f361131063c7a46a74b4

[github-actions[bot]]

Backport failed for 2.16-maintenance, because it was unable to cherry-pick the commit(s).

Please cherry-pick the changes locally and resolve any conflicts.

git fetch origin 2.16-maintenance
git worktree add -d .worktree/backport-9870-to-2.16-maintenance origin/2.16-maintenance
cd .worktree/backport-9870-to-2.16-maintenance
git switch --create backport-9870-to-2.16-maintenance
git cherry-pick -x c219371ec8721886229ce882d68181c5afa4273d f316e01bd3021a743667f361131063c7a46a74b4

[github-actions[bot]]

Backport failed for 2.17-maintenance, because it was unable to cherry-pick the commit(s).

Please cherry-pick the changes locally and resolve any conflicts.

git fetch origin 2.17-maintenance
git worktree add -d .worktree/backport-9870-to-2.17-maintenance origin/2.17-maintenance
cd .worktree/backport-9870-to-2.17-maintenance
git switch --create backport-9870-to-2.17-maintenance
git cherry-pick -x c219371ec8721886229ce882d68181c5afa4273d f316e01bd3021a743667f361131063c7a46a74b4

[github-actions[bot]]

Backport failed for 2.18-maintenance, because it was unable to cherry-pick the commit(s).

Please cherry-pick the changes locally and resolve any conflicts.

git fetch origin 2.18-maintenance
git worktree add -d .worktree/backport-9870-to-2.18-maintenance origin/2.18-maintenance
cd .worktree/backport-9870-to-2.18-maintenance
git switch --create backport-9870-to-2.18-maintenance
git cherry-pick -x c219371ec8721886229ce882d68181c5afa4273d f316e01bd3021a743667f361131063c7a46a74b4

[github-actions[bot]]

Backport failed for 2.19-maintenance, because it was unable to cherry-pick the commit(s).

Please cherry-pick the changes locally and resolve any conflicts.

git fetch origin 2.19-maintenance
git worktree add -d .worktree/backport-9870-to-2.19-maintenance origin/2.19-maintenance
cd .worktree/backport-9870-to-2.19-maintenance
git switch --create backport-9870-to-2.19-maintenance
git cherry-pick -x c219371ec8721886229ce882d68181c5afa4273d f316e01bd3021a743667f361131063c7a46a74b4