From: Paolo Bonzini <bonzini@gnu.org>
Date: Tue, 22 Apr 2008 13:53:16 GMT
Subject: Re: git remote update -> rejected
Message-ID: <480DEDCC.8020809@gnu.org>
In-Reply-To: <alpine.DEB.1.00.0804221404360.4460@eeepc-johanness>

Johannes Schindelin wrote:
> Hi,
> 
> On Tue, 22 Apr 2008, Jeff King wrote:
> 
>> OTOH, if you are using non-separate-remote layout, I think it makes
>> sense to _not_ have the "+". OTOOH, when you call the option --mirror,
>> it makes me think of "push --mirror" which implies "+".
> 
> I am glad somebody else than me finds this to be a dilemma.

Pushing to a mirror implies a "+".  But pulling from a mirror had better 
not imply a "+", as Dscho pointed out in this thread and implemented in 
his patch.

Non-fast-forward pulls from a non-mirror are safe, so they can imply a "+".

Maybe, "git remote add --mirror" should add a "push" line instead of a 
"fetch" line, and should not allow -f or -t options.

Paolo