Patch for git abbreviation length

Newer versions of git will report the abbreviation of the revision hash with a dynamic number of letters. This may cause problems for teams mixing different git versions. Patch specifies an abbreviation length of 7 (the git default).