Re: [BUG?] push to mirrior interferes with parallel operations

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. :)