On: Git undo: We can do better

[arxanas]

Pull from a remote: yes, it will rewind the local references to their old positions.

Push: sadly, no.