From: Junio C Hamano Date: Tue, 12 Nov 2024 22:41:02 GMT Subject: Re: [PATCH] doc: git-add.txt: convert to new style convention Message-ID: In-Reply-To: <0882542f-8424-4dfc-8358-f5c982aafbd4@scantech.com> Jean-Noël Avila writes: >> 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.