Skip to content

F6a: push the rewritten head behind a durable marker - #153

Merged
mchwang merged 38 commits into
mainfrom
codex/f6a-rewritten-head-push
Oct 15, 2026
Merged

F6a: push the rewritten head behind a durable marker#153
mchwang merged 38 commits into
mainfrom
codex/f6a-rewritten-head-push

Scope the shutdown comment on the push failure path to its own read

7ffd084
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar