Re: [PATCH] doc/gitremote-helpers: fix more missing single-quotes

From: Junio C Hamano <gitster@pobox.com>
Date: Mar 21, 2024, 16:25 UTC
Message-ID: <xmqq7chvblgr.fsf@gitster.g>
In-Reply-To: <519698f1-1daf-4085-9aec-380f44492e72@gmail.com>

Jean-Noël Avila <avila.jn@gmail.com> writes:

Show 6 quoted lines

>> -'option deepen-relative {'true'|'false'}::
>> +'option deepen-relative' {'true'|'false'}::
>>  	Deepens the history of a shallow repository relative to
>>  	current boundary. Only valid when used with "option depth".
>
> The syntax for describing alternatives is specified as (true|false).

Hmmmm, here, true and false are to be given verbatim.

> Also, in my reworks of syntax, I chose to remove all formatting from the
> term parts of the description lists.

I know we added the _<placeholder>_ thing, but have we added these to Documentation/CodingGuidelines yet?

Thanks.