Skip to content

Don't offer undo for a pushed commit whose upstream ref was deleted - #82

Merged
danipen merged 1 commit into
mainfrom
fix-undo-pushed-commit
Jul 14, 2026
Merged

Don't offer undo for a pushed commit whose upstream ref was deleted#82
danipen merged 1 commit into
mainfrom
fix-undo-pushed-commit

Commits

Commits on Jul 14, 2026