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

From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Apr 29, 2008, 22:26 UTC
Message-ID: <alpine.DEB.1.00.0804292324040.13650@eeepc-johanness>
In-Reply-To: <48179625.3050704@gnu.org>

Hi,

On Tue, 29 Apr 2008, Paolo Bonzini wrote:

Show 5 quoted lines

> I mean, I just wonder why as long as I had one remote only, I could 
> write "git push", while now I have to write "git push origin && git push 
> mirror".  The patch to "git fetch" comes from this observation too, and 
> I think it is a good idea, even though I'm less attached to it and it 
> would influence my workflow much less.

I wonder why you need to make such a big change, which _is_ incompatible, and not do the obvious thing, namely introduce a subcommand to "git remote" which does the "push" equivalent of "git remote update"...

Do you really think that it is a good idea to push down a huge change like this down everybody else's throat, just because you do not want to type "git remote ..." but "git fetch ..." in your workflow?

Ciao, Dscho