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

> Johannes Schindelin wrote:
>
> > 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.
> 
> Maybe, but I'm pretty satisfied with the result.  It would take more 
> effort than that to add all the functionality within "git remote 
> update", and my patch series removes most of the magic associated with 
> "origin".