From: Miklos Vajna <vmiklos@frugalware.org>
Date: Fri, 01 Aug 2008 14:27:32 GMT
Subject: Re: [PATCH 1/2] clone: Add an option to set up a mirror
Message-ID: <20080801142732.GS32057@genesis.frugalware.org>
In-Reply-To: <alpine.DEB.1.00.0808011600170.9611@pacific.mpi-cbg.de.mpi-cbg.de>

On Fri, Aug 01, 2008 at 04:00:45PM +0200, Johannes Schindelin <Johannes.Schindelin@gmx.de> wrote:
> 
> 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)

Funny, someone asked exactly this on #git yesterday (IIRC), but we ended
up using clone & remote, since I didn't find clone --mirror in the man.
;-)

Thanks!