SHELL

undo git pull

git reset --hard master@{"10 minutes ago"}

revert git pull

git reset --keep HEAD@{1}

how to reverse a git pull

git reset --hard master@{"10 minutes ago"}

-----------------------------------------

git reset --keep HEAD@{1}