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 /builtin-init-db.c | |
| parent | git rm: refresh index before up-to-date check (diff) | |
| download | tgif-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 'builtin-init-db.c')
0 files changed, 0 insertions, 0 deletions