Re: [PATCH] doc/gitremote-helpers: fix missing single-quote
From: Junio C Hamano <hidden>
Date: 2024-03-07 20:32:00
Jeff King [off-list ref] writes:
The formatting around "option push-option" was missing its closing quote, leading to the output having a stray opening quote, rather than rendering the item in italics (as we do for all of the other options in the list). Signed-off-by: Jeff King <redacted> --- Just happened to notice this while looking at the rendered manpage for a different option.
Thanks. This looks like an ancient typo. Applied.
quoted hunk
Documentation/gitremote-helpers.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)diff --git a/Documentation/gitremote-helpers.txt b/Documentation/gitremote-helpers.txt index ed8da428c9..07c8439a6f 100644 --- a/Documentation/gitremote-helpers.txt +++ b/Documentation/gitremote-helpers.txt@@ -526,7 +526,7 @@ set by Git if the remote helper has the 'option' capability. 'option pushcert' {'true'|'false'}:: GPG sign pushes. -'option push-option <string>:: +'option push-option' <string>:: Transmit <string> as a push option. As the push option must not contain LF or NUL characters, the string is not encoded.