diff options
| author | Johannes Sixt <johannes.sixt@telecom.at> | 2008-10-07 16:26:20 +0200 |
|---|---|---|
| committer | Shawn O. Pearce <spearce@spearce.org> | 2008-10-08 07:15:53 -0700 |
| commit | bf07cc58aeb84b1262cc58f571d2f7033474efa7 (patch) | |
| tree | b7a6de3004882e27956105df936da24af901ebf1 /server-info.c | |
| parent | cced48a808620d60e95a1e51254b135a46ddf719 (diff) | |
| download | git-bf07cc58aeb84b1262cc58f571d2f7033474efa7.tar.gz git-bf07cc58aeb84b1262cc58f571d2f7033474efa7.tar.xz | |
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>
Diffstat (limited to 'server-info.c')
0 files changed, 0 insertions, 0 deletions