On: Git undo: We can do better

[dorian-marchal]

Also, one advantage of `git pull origin master:master` is that you don't have to checkout master first.