If you develop with git and use multiple computers, you may find you want to keep your repos updated across these different computers. One way to do this is to use a git repo hosting provider like Github and push and fetch from remote branches.

Though there could be reasons why you might not want to ...

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...