If you work with Git, you may make a commit you didn’t really want to. Perhaps you mistyped the commit message, added a file you didn’t want, didn’t add a file you wanted to, or even just changed your mind about the changes altogether.

There are three useful levels of undoing commits.

First, to just undo the commit itself an...