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 /t/README | |
parent | Merge branch 'maint' (diff) | |
download | tgif-bc699afcce3c45bb17aaca145d081992ed699a42.tar.xz |
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 't/README')
0 files changed, 0 insertions, 0 deletions