git: change core.abbrev to 12