git undo, We can do better