how to undo the last 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}