From: Jonathan Nieder <jrnieder@gmail.com>
Date: Fri, 19 Nov 2010 21:32:56 GMT
Subject: Re: [BUG?] push to mirrior interferes with parallel operations
Message-ID: <20101119213256.GA579@burratino>
In-Reply-To: <m2ipzt14rh.fsf@igel.home>

Andreas Schwab wrote:
> Jeff King <peff@peff.net> writes:

>> it really only makes sense to push from a non-bare repo,
>
> Why?  The repo could itself be a mirror.

Jeff seems to have meant

	When in a non-bare repo, it only makes sense to push.

which is to say, push --mirror makes sense from a bare repo but fetch
--mirror does not.  However, I think you read

	When pushing, it only makes sense to use a non-bare repo

to which a reasonable response is to point out that no, push --mirror
makes sense from a bare repo after all.

I see no disagreement here. :)