Git tricks: `git checkout -` and other useful commands