Document git log --abbrev-commit, as a kind of pretty option