# [PATCH] Documentation/git-push.txt: minor: compress one option

2 messages from 2009-01-12 to 2009-01-12. Participants: jidanni@jidanni.org, Junio C Hamano.
Thread: https://gitlist.dev/t/17107

## jidanni@jidanni.org, 2009-01-12 03:05

Subject: [PATCH] Documentation/git-push.txt: minor: compress one option
Message-ID: <1231729554-10513-1-git-send-email-jidanni@jidanni.org>
URL: https://gitlist.dev/e/1231729554-10513-1-git-send-email-jidanni%40jidanni.org

```
Signed-off-by: jidanni <jidanni@jidanni.org>
---
 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
-- 
1.6.0.6

```

## Junio C Hamano, 2009-01-12 03:59

Subject: Re: [PATCH] Documentation/git-push.txt: minor: compress one option
Message-ID: <7vmydxkwck.fsf@gitster.siamese.dyndns.org>
URL: https://gitlist.dev/e/7vmydxkwck.fsf%40gitster.siamese.dyndns.org
In-Reply-To: <1231729554-10513-1-git-send-email-jidanni@jidanni.org>

```
Thanks, queued.

This unfortunately missed tonight's integration window and won't appear
until I start next round of integration tomorrow evening.

```