diff options
| author | Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2008-08-02 21:38:56 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-08-02 15:21:59 -0700 |
| commit | bc699afcce3c45bb17aaca145d081992ed699a42 (patch) | |
| tree | e52a0b9ceb2aca3543bfab40dde0f0a1398fe41e /builtin-remote.c | |
| parent | 372c767610c4e4d7f4832d037ac51a62a59875a3 (diff) | |
| download | git-bc699afcce3c45bb17aaca145d081992ed699a42.tar.gz | |
clone: Add an option to set up a mirror
The command line
$ git clone --mirror $URL
is now a short-hand for
$ git clone --bare $URL
$ (cd $(basename $URL) && git remote add --mirror origin $URL)
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'builtin-remote.c')
| -rw-r--r-- | builtin-remote.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/builtin-remote.c b/builtin-remote.c index 54d1c3e3d1..01945a8651 100644 --- a/builtin-remote.c +++ b/builtin-remote.c @@ -115,7 +115,7 @@ static int add(int argc, const char **argv) if (mirror) { strbuf_reset(&buf); strbuf_addf(&buf, "remote.%s.mirror", name); - if (git_config_set(buf.buf, "yes")) + if (git_config_set(buf.buf, "true")) return 1; } |