Re: git remote update -> rejected
- From
Paolo Bonzini <bonzini@gnu.org>
- Date
- Apr 22, 2008, 13:53 UTC
- Message-ID
- <480DEDCC.8020809@gnu.org>
- In-Reply-To
- <alpine.DEB.1.00.0804221404360.4460@eeepc-johanness>
Johannes Schindelin wrote:
Show 9 quoted lines
> 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