Algocraft / Git Commands / git reset vs revert
Two ways to undo — one moves the branch pointer backwards (and can discard work), the other adds a new commit that cancels the old one out
--soft: move pointer, keep index + working dir--mixed (default): move pointer, unstage, keep working dir--hard: move pointer, wipe everything to matchreset --soft HEAD~1