revert pull request via git code example

Example: how to reverse a git pull

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

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

git reset --keep HEAD@{1}