Git: use abbreviated commits by default.