Re: [PATCH 7/7] make "git fetch" update all fetch repositories

From: Junio C Hamano <gitster@pobox.com>
Date: Apr 29, 2008, 23:17 UTC
Message-ID: <7vzlrc45ex.fsf@gitster.siamese.dyndns.org>
In-Reply-To: <20080429230237.GA22598@sigill.intra.peff.net>

Jeff King <peff@peff.net> writes:

Show 9 quoted lines

> I wonder this a bit, too, and I am even somebody who _likes_ the new
> behavior. But there is a difference between "should have been designed
> this way in the first place" and "is currently designed some other way,
> and will cause pain to switch it to this way."
>
> So it might simply not be worth the trouble to change. OTOH, I think
> this is how we end up with many commands to do slightly different
> things, which can end up confusing new users. I'm not sure what the
> right answer is.

Well, the thing is, push and fetch are different, so expecting the same behaviour and syntax from them is a lost cause to begin with. Even if we were designing fetch and push right now, I do not necessarily think the series shows a way that "should have been designed in the first place".