As far as I know, when you want to undo something in Git you have to explicitly find the command to undo whatever it is you've done and issue it. For instance, one way among many to undo a commit and redo it is to follow the example from here,
$ git commit ...
$ git reset --soft HEAD^
$ git add ....
$ git commit -c ORIG_HEAD
Or to undo a pull, you can follow the instructions from here,
$ git reset --hard
But these commands do not necessarily work interchangeably. Is there a reason why Git does not allow simple undo and redo commands? Something to do with the philosophy behind it? Also, I don't have much experience with other version control systems, but do any of them offer a simple undo and redo command?