'Undo a git pull to be in sync with recovered remote master
I pushed something from my local branch to remote master. This was a mistake and the admin will remove that push in the remote repo. In the mean time (by yet another mistake) I also pulled this change from remote master to local master. Now I want to obliterate this pull from my local repo, so that once remote repo goes to a previous state my repo will still be in sync with it.
Is it enough to right-click on previous revision in log dialog and select "reset 'master' to this..." (which does a git reset to a previous revision), and then revert all changes in working directory, or do I have to something else or something more?
Additional question. Is hard reset the same аs mixed reset followed up by a revert?
Sources
This article follows the attribution requirements of Stack Overflow and is licensed under CC BY-SA 3.0.
Source: Stack Overflow
| Solution | Source |
|---|