Does it make sense to pull from mirror? (Re: [BUG?] push to mirrior interferes with parallel operations)

From: Jan Hudec <bulb@ucw.cz>
Date: Nov 18, 2010, 18:49 UTC
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:

Show 8 quoted lines

> 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 <bulb@ucw.cz>