From: Jeff King Date: Fri, 19 Nov 2010 19:46:28 GMT Subject: Re: [BUG?] push to mirrior interferes with parallel operations Message-ID: <20101119194628.GA15466@sigill.intra.peff.net> In-Reply-To: On Fri, Nov 19, 2010 at 08:40:18PM +0100, Andreas Schwab wrote: > Jeff King 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