Undo a git pull

I forget these stuff way too easily.

git reset --hard  (changes current branch to point to the last commit)

To instead point to an older commit, use git reflog to first locate the identifier for the desired commit, then

git reset --hard <commit>