development/git
development/git
1
0
Fork 0
mirror of https://github.com/git/git synced 2024-08-27 11:39:22 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'jk/doc-remote-helpers-markup-fix'

Browse source 
Doc markup fix.

* jk/doc-remote-helpers-markup-fix:
  docs/gitremote-helpers: fix unbalanced quotes
This commit is contained in:
Junio C Hamano 2017-02-15 14:56:40 -08:00
parent 153a33f98c 2aaf37b62c
commit 8c00b7e583
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
Documentation/gitremote-helpers.txt
View file

@ -452,14 +452,14 @@ set by Git if the remote helper has the 'option' capability.
Request the helper to perform a force update. Defaults to
'false'.
'option cloning {'true'|'false'}::
'option cloning' {'true'|'false'}::
Notify the helper this is a clone request (i.e. the current
repository is guaranteed empty).
'option update-shallow {'true'|'false'}::
'option update-shallow' {'true'|'false'}::
Allow to extend .git/shallow if the new refs require it.
'option pushcert {'true'|'false'}::
'option pushcert' {'true'|'false'}::
GPG sign pushes.
'option push-option <string>::