This isn't intended as an exhaustive reference for git. Rather, it's a collection of operations that I perform so rarely that I always have to look up how to do them.
(because I have a weak-ass Internet connection at home)
git fetch --no-tags <remote> <remote-branch-name>:<local-branch-name>
git reset --hard HEAD