You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
// FORMAT THEOREM: image_build_success -> executable(/usr/local/bin/plan-to-git)
95
95
// PURITY: SHELL
96
96
// EFFECT: Docker build downloads and installs the current main branch Rust CLI from GitHub.
97
-
// INVARIANT: plan-to-git is available on PATH with Claude hooks and sync --pr before agent hooks or git post-push actions run; moving main changes the remote ADD input and invalidates the install layer.
97
+
// INVARIANT: plan-to-git is available on PATH with Claude hooks and sync --pr before agent hooks or git post-push actions run; moving main changes the remote patch ADD input and invalidates the install layer without GitHub API quota dependency.
98
98
// COMPLEXITY: O(network + cargo_build)
99
99
constrenderDockerfilePlanToGit=(): string=>
100
100
`# Install plan-to-git for multi-agent plan capture and explicit PR sync (issue #397)
0 commit comments