From: Jeff King Date: Thu, 18 Nov 2010 19:05:44 GMT Subject: Re: Does it make sense to pull from mirror? (Re: [BUG?] push to mirrior interferes with parallel operations) Message-ID: <20101118190544.GB30438@sigill.intra.peff.net> In-Reply-To: <20101118184904.GO3693@efreet.light.src> On Thu, Nov 18, 2010 at 07:49:04PM +0100, Jan Hudec wrote: > > So I think we need --mirror=push, or something similar. > > Does it *ever* make sense to have a non-bare pull mirror. I think it does > not. I don't think so. But it may make sense to have a bare push mirror, as I mention in my other email. So we may still want to make it easy for the user to specify. -Peff