Experiment with a short log format for Git.