git undo: We can do better

[Costas]

https://blog.waleedkhan.name/git-undo/