Git tricks: `git checkout -` and other useful commands
github.com