From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 12 Nov 2021 17:15:59 GMT
Subject: Re: [PATCH v2 4/8] grep docs: de-duplicate configuration sections
Message-ID: <xmqqo86ps3ao.fsf@gitster.g>
In-Reply-To: <patch-v2-4.8-efe95397d72-20211110T013632Z-avarab@gmail.com>

Ævar Arnfjörð Bjarmason  <avarab@gmail.com> writes:

> Include the "config/grep.txt" file in "git-grep.txt", instead of
> repeating an almost identical description of the "grep" configuration
> variables in two places. In a subsequent commit we'll amend this
> documentation, and can now do so in one place instead of two.

Good find.  They are indeed almost identical.  I am not sure about
the value of ...

> +The below documentation is the same as what's found in
> +linkgit:git-config[1]:

... when everybody becomes consistent, but in the meantime, while
some documentation pages are consistent while others are not, I can
see how it might help.

The patch looks good.

Thanks.