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

From: Jeff King <peff@peff.net>
Date: Nov 19, 2010, 19:46 UTC
Message-ID: <20101119194628.GA15466@sigill.intra.peff.net>
In-Reply-To: <m2ipzt14rh.fsf@igel.home>

On Fri, Nov 19, 2010 at 08:40:18PM +0100, Andreas Schwab wrote:

Show 5 quoted lines

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

Why do you have a working directory if you are going to have a refspec that overwrites HEAD behind your back (which, IIRC, git will simply barf on, so all of your fetches will fail)?

Yes, you could do something complex like have a mirror that lives on a detached HEAD and automagically updates the working tree based on some particular ref. But at that point I think you are going to be setting up .git/config manually, anyway. This is really about what default git "git remote add --mirror" should set up.

-Peff