More elegant `git rev-parse HEAD`