Why is there no undo/redo in Git?
问题 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^ $ edit $ 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