The safe way to undo a commit you've already pushed: instead of erasing it, Git adds a new commit that does the exact opposite. Because it doesn't rewrite history, it won't trip up anyone else who already pulled the original.