git-gc --auto: add documentation.