commit bc699afcce3c45bb17aaca145d081992ed699a42
author Johannes Schindelin <Johannes.Schindelin@gmx.de> Sat Aug 02 21:38:56 2008 +0200
committer Junio C Hamano <gitster@pobox.com> Sat Aug 02 15:21:59 2008 -0700
tree e52a0b9ceb2aca3543bfab40dde0f0a1398fe41e
parent 372c767610c4e4d7f4832d037ac51a62a59875a3

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>

builtin-remote.c

diff --git a/builtin-remote.c b/builtin-remote.c
index 54d1c3e..01945a8 100644
--- a/builtin-remote.c
+++ b/builtin-remote.c
@@ -115,7 +115,7 @@
 	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;
 	}