how to undo git pull origin develop code example

Example: undo git pull

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