From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 14 Jan 2021 19:58:15 GMT
Subject: Re: [PATCH 01/22] mailmap doc: create a new "gitmailmap(5)" man page
Message-ID: <xmqqk0sfxpd4.fsf@gitster.c.googlers.com>
In-Reply-To: <a71860ee-6810-8766-b9c7-4c03ea7e6e01@gmail.com>

Philippe Blain <levraiphilippeblain@gmail.com> writes:

>> +SYNOPSIS
>> +--------
>> +$GIT_WORK_DIR/.mailmap
>
> This should be GIT_WORK_TREE, gitmodules(5) is wrong as GIT_WORK_DIR
> does not exists (my series at [1] fixes this).

Well spotted.

Can you make the suggestion into a follow-up patch to the
series to be applied on top?

Thanks.