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

From: Junio C Hamano <[email-masked]>
Date: Thu, 21 Mar 2024 09:25:56 -0700

Jean-Noël Avila <[email-masked]> writes:

>> -'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.