Good overview, for beginners as well as regular users. In particular git checkout <file> which is (a) not obvious (before stumbling upon it, I was trying to fi

Good overview, for beginners as well as regular users. In particular git checkout <file> which is (a) not obvious (before stumbling upon it, I was trying to find it in git-reset documentation), and (b) looks pretty innocent (as the git checkout branch is quite safe to do if you've got staged changes.)