diff options
| author | Jeff King <peff@peff.net> | 2024-03-07 08:43:13 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2024-03-07 20:30:48 (GMT) |
| commit | 51d41dc243d6218674e47462b067841cb0d9b48b (patch) | |
| tree | c1101ba554a2ecd86b0c03b7a1fbe81a2bc08612 /Documentation | |
| parent | 668f2d53613ac8fd373926ebe219f2c29112d93e (diff) | |
| download | git-51d41dc243d6218674e47462b067841cb0d9b48b.zip git-51d41dc243d6218674e47462b067841cb0d9b48b.tar.gz git-51d41dc243d6218674e47462b067841cb0d9b48b.tar.bz2 | |
doc/gitremote-helpers: fix missing single-quote
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 <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/gitremote-helpers.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/gitremote-helpers.txt b/Documentation/gitremote-helpers.txt index 6f1e269..83e9919 100644 --- a/Documentation/gitremote-helpers.txt +++ b/Documentation/gitremote-helpers.txt @@ -517,7 +517,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. |