Merge branch 'ab/gc-doc-update'
authorJunio C Hamano <gitster@pobox.com>
Fri, 26 Oct 2018 05:22:14 +0000 (14:22 +0900)
committerJunio C Hamano <gitster@pobox.com>
Fri, 26 Oct 2018 05:22:14 +0000 (14:22 +0900)
The documentation of "git gc" has been updated to mention that it
is no longer limited to "pruning away crufts" but also updates
ancillary files like commit-graph as a part of repository
optimization.

* ab/gc-doc-update:
gc doc: mention the commit-graph in the intro

Trivial merge