how to revert pull in git code example
Example 1: undo git pull
git reset --hard master@{"10 minutes ago"}
Example 2: how to reverse a git pull
git reset --hard master@{"10 minutes ago"}
-----------------------------------------
git reset --keep HEAD@{1}
Example 3: pull from a brrrnch in git
$ git fetch origin other-branch