gitpush-pre.sh doc-skip investigation — Pluto has no per-project pre-script (only PATH gitpush.sh guard). Determine whether doc-skip lands in PATH gitpush.sh (llmmsg-srv-ca scope) or a new pluto-local pre-script

Sub-tickets

Questions

Activity

• system created · 2026-05-03
  wi cli; parent=#174
• system noteCorrection · 2026-05-03
  scope correction: pluto/.gitpush-pre.sh DOES exist (185 lines, dotfile — earlier find missed it). #173 doc-skip is a per-project edit. Pluto can ship its own mirror without PATH gitpush.sh changes. Re-priority P2.
• system completed · 2026-05-03
  shipped v1.57.4 commit 3c5a956; .gitpush-pre.sh doc-only short-circuit (skips lint/typegen/typecheck/build when only md changed)