diff options
| author | jidanni@jidanni.org <jidanni@jidanni.org> | 2009-01-12 03:05:54 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2009-01-12 05:47:26 (GMT) |
| commit | 4fc988efe66ea079c926b1f01bf563a946b7797f (patch) | |
| tree | cacb0ce326a992c5195dfd777ad7171687a3e9e0 /Documentation/git-push.txt | |
| parent | 152d70f7287c54135aa93990b462e2d34a39f500 (diff) | |
| download | git-4fc988efe66ea079c926b1f01bf563a946b7797f.zip git-4fc988efe66ea079c926b1f01bf563a946b7797f.tar.gz git-4fc988efe66ea079c926b1f01bf563a946b7797f.tar.bz2 | |
Documentation/git-push.txt: minor: compress one option
Signed-off-by: jidanni <jidanni@jidanni.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-push.txt')
| -rw-r--r-- | Documentation/git-push.txt | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt index 6150b1b..3321966 100644 --- a/Documentation/git-push.txt +++ b/Documentation/git-push.txt @@ -86,14 +86,12 @@ nor in any Push line of the corresponding remotes file---see below). line. --receive-pack=<git-receive-pack>:: +--exec=<git-receive-pack>:: Path to the 'git-receive-pack' program on the remote end. Sometimes useful when pushing to a remote repository over ssh, and you do not have the program in a directory on the default $PATH. ---exec=<git-receive-pack>:: - Same as \--receive-pack=<git-receive-pack>. - -f:: --force:: Usually, the command refuses to update a remote ref that is |