Git

This page contains some git commands I had to look up at some point:

See differences between remote and local branch
git diff origin

remove all changes to `$FILE` since last checkout.
git checkout $FILE