use 7 characters for the abbreviated git revision