git-commit: document log message formatting convention