git-push.txt: Describe --repo option in more detail
commitbf07cc58aeb84b1262cc58f571d2f7033474efa7
authorJohannes Sixt <johannes.sixt@telecom.at>
Tue, 7 Oct 2008 14:26:20 +0000 (7 16:26 +0200)
committerShawn O. Pearce <spearce@spearce.org>
Wed, 8 Oct 2008 14:15:53 +0000 (8 07:15 -0700)
treeb7a6de3004882e27956105df936da24af901ebf1
parentcced48a808620d60e95a1e51254b135a46ddf719
git-push.txt: Describe --repo option in more detail

The --repo option was described in a way that the reader would have to
assume that it is the same as the <repository> parameter. But it actually
servers a purpose, which is now written down.

Furthermore, the --mirror option was missing from the synopsis.

Signed-off-by: Johannes Sixt <johannes.sixt@telecom.at>
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
Documentation/git-push.txt
builtin-push.c