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

Hi,

On Mon, 28 Apr 2008, Paolo Bonzini wrote:

Johannes Schindelin wrote:

quoted

On Mon, 28 Apr 2008, Paolo Bonzini wrote:

quoted

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".

Then I must have misread your statement "same as "git remote 
update" with no groups defined".

Ciao,
Dscho