Repository navigation

lanes-edit.sh: a write with nothing staged still publishes the local commits origin lacks, so the RECOVERY's re-run of `commit` pushes the edit it stranded, and the conflict RECOVERY warns that `reset --hard` drops a peer's commits - #214

Merged

brettheap merged 12 commits into

mainfrom

fix/commit-push-publish-committed-edit

Oct 19, 2026

Merged

lanes-edit.sh: a write with nothing staged still publishes the local commits origin lacks, so the RECOVERY's re-run of `commit` pushes the edit it stranded, and the conflict RECOVERY warns that `reset --hard` drops a peer's commits#214
brettheap merged 12 commits into
mainfrom
fix/commit-push-publish-committed-edit

Commits on Oct 11, 2026
- WIP: checkpoint before account swap; done: #194 proving test written, not yet run; left: run it, the commit_push fix, both RECOVERY texts, the reset warning, manual lines, PR
  
  brettheap
  and
  claude
  committed
  c9ffdce
Commits on Oct 13, 2026
Commits on Oct 17, 2026
- #214 adversarial check: `commit` reads the queue on the branch it pushes, refuses merges, type changes and HEAD off the branch, fails closed on every read, and pushes exactly the commit it read
  
  Brett Heap
  and
  claude
  committed
  f34c993
- Exit-code tables: say the #194 refusal pushes none of them, not "nothing pushed", which test_the_exit_3_documentation_agrees_with_the_die_message_it_describes reserves
  
  Brett Heap
  and
  claude
  committed
  5b68127
Commits on Oct 18, 2026