commit | bc699afcce3c45bb17aaca145d081992ed699a42 | [log] [tgz] |
---|---|---|
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 [diff] |
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>