build CPU: gitpush-pre.sh doc-skip — when only .md/CLAUDE.md/MEMORY.md changed, skip lint/typegen/typecheck/build to save ~30 build CPU min per push

Sub-tickets

Questions

Activity

• system created · 2026-05-03
  wi cli
• system parentChanged · 2026-05-03
  parent=#174
• coderhelp-mars-cc-w assigned · 2026-05-17
  assigned to coderhelp-mars-cc-w
• system statusChanged · 2026-05-17
  claimed; adding doc-only short-circuit to .gitpush-pre.sh
• system implementation-shipped · 2026-05-17
  doc-skip block in .gitpush-pre.sh:84-100 shipped 2b8a63b (git blame confirms). Sweep window grabbed it into coder-mars-cc's WI#175 push; commit message only credits WI#175 but both WIs are now live.
• system completed · 2026-05-17
  shipped 2b8a63b (cross-credited with WI#175 via sweep window — symmetric inverse of 6b55e61 which swept WI#175 into WI#240)