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

[Johannes Schindelin <Johannes.Schindelin@gmx.de>]

Hi,

On Tue, 29 Apr 2008, Paolo Bonzini wrote:

> 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