Re: [PATCH] doc: git-add.txt: convert to new style convention

From: Junio C Hamano <gitster@pobox.com>
Date: Nov 12, 2024, 22:41 UTC
Message-ID: <xmqqpln03wjl.fsf@gitster.g>
In-Reply-To: <0882542f-8424-4dfc-8358-f5c982aafbd4@scantech.com>

Jean-Noël Avila <jean-noel.avila@scantech.com> writes:

Show 7 quoted lines

>> This does slightly more than converting to new style, though,
>> doesn't it?  Is it so annoying to see a link that points at the same
>> page you are reading right now to warrant duplicating some docs with
>> conditional inclusion?
> ...
> This was already performed for git-clone (ebb55042a4) and git-init
> (e7b3a7683c). Should it be separated in a dedicated commit?

My comment came primarily as a reaction to seeing this change that was not part of what the proposed log message said. As you say, as a separate and orthogonal thing, we could make it a separate commit. But it also is perfectly fine if the log message explained that we are doing this independent change "while we are at it".

Thanks.