how to undo what I pulled from github code example Example: undo git pull git reset --hard master@{"10 minutes ago"}