Re: [PATCH resend] make "git push" update origin and mirrors, "git push --mirror" update mirrors

Hi,

On Mon, 28 Apr 2008, Paolo Bonzini wrote:

I'm preparing a patch that has "git fetch" fetch from all remotes (same 
as "git remote update" with no groups defined)

Funny, I would think that this functionality belongs into git-remote 
instead of git-fetch.  Especially since it would be possible to reuse the 
code you referred to...

Ciao,
Dscho