chore(nixos): update Pi default model

2026-09-24 23:10:12 -04:00
parent 74e7d2d211
commit 7cc066b55d
2 changed files with 2 additions and 1 deletions
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -120,3 +120,4 @@
  Do not use `git subtree add` or `git subtree pull` for Pi PR branches.
  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.