docs: remove package ownership gotcha

2026-10-11 17:32:45 -04:00
parent 108fcf6c80
commit 65225d0156
1 changed files with 0 additions and 3 deletions
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -126,6 +126,3 @@
  Gitea rebases the synthetic upstream root commit without the `third_party/pi` prefix.
  Preserve `git-subtree-dir` and `git-subtree-split` trailers on Pi vendor commits.
 - The default Pi model for NixOS user configuration is set in `configs/nixos/modules/shell/pi/default.nix`, not in vendored Pi source.
- Home Manager uses the NixOS package set in this repository.
-  Use `pkgs` for Home Manager tool commands unless a NixOS `config.programs.<name>.package`
-  option owns the selected package.