Re: [PATCH v4 0/9] docs: de-duplicate sections, add more CONFIGURATION sections

Matheus Tavares [off-list ref] writes:

On Wed, Sep 7, 2022 at 5:27 AM Ævar Arnfjörð Bjarmason [off-list ref] wrote:

quoted

This series:

 * De-duplicates and combines configuration discussion that was split
   or spread across Documentation/config/*.txt and
   Documentation/git-*.txt, moving it to Documentation/config/*.txt.

 * Includes that relevant Documentation/config/*.txt in the
   Documentation/git-*.txt files.

 * Introduces and uses included prose for those "CONFIGURATION"
   sections in various Documentation/git-*.txt files, informing the
   reader that what they see there is included from "git-config(1)".

This v4 addresses the feedback from Matheus Tavares on v3 (thanks for
the review!): A hunk belonged in 9/9, not 8/9 (init's config is used
by e.g. "clone" too). The end-state at the end of this series is
exactly the same.

This version LGTM. Thanks!

Thanks, both.