revert local git pull 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}