Skip to content

fix(autofix): salvage race-lost pushes by merging the moved head and retrying - #8042

Merged
wenshao merged 6 commits into
mainfrom
fix/autofix-push-race-salvage
Jul 30, 2026
Merged

fix(autofix): salvage race-lost pushes by merging the moved head and retrying#8042
wenshao merged 6 commits into
mainfrom
fix/autofix-push-race-salvage

Commits

Commits on Jul 30, 2026