Increase the git hash abbreviation length to 12 characters

See https://lwn.net/Articles/571980/