From: Jan Hudec Date: Thu, 18 Nov 2010 18:49:04 GMT Subject: Does it make sense to pull from mirror? (Re: [BUG?] push to mirrior interferes with parallel operations) Message-ID: <20101118184904.GO3693@efreet.light.src> In-Reply-To: <20101118175810.GB26505@sigill.intra.peff.net> On Thu, Nov 18, 2010 at 12:58:11 -0500, Jeff King wrote: > It seems to me there are really two kinds of mirrors: one where you will > fetch everything from the remote, and one where you will push everything > to the remote. > > You have the latter kind, and the fetch refspec is just causing > problems. Removing it would solve not only this issue, but also the fact > that you would never want to run "git fetch backup", even accidentally, > in your repo, as it would overwrite your local work. Accidentally did it already. Fortunately it just died with something like "refusing to pull to checked out branch of non-bare repository" and did nothing at all. > 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. -- Jan 'Bulb' Hudec