docs(pi): document vendored update workflow

2026-09-14 10:46:32 -04:00
parent 98355a0d37
commit b9d956b4d3
2 changed files with 32 additions and 0 deletions
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -110,3 +110,6 @@
  absent from the pinned revision or from a different branch such as `nixpkgs-unstable`.
 - OMP does not discover project skills from `.pi/skills`.
  Put skills shared by Pi and OMP under `.agents/skills`, or configure OMP's `skills.customDirectories`.
+- Pi is vendored under `third_party/pi` with `git subtree --squash`.
+  Keep subtree import and update commits separate from local edits.
+  Do not remove `git-subtree-dir` or `git-subtree-split` trailers when rewriting Pi history.