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

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 [off-list ref]