From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Mon, 28 Apr 2008 11:57:18 GMT
Subject: Re: [PATCH resend] make "git push" update origin and mirrors, "git push --mirror" update mirrors
Message-ID: <alpine.DEB.1.00.0804281256380.5399@eeepc-johanness>
In-Reply-To: <4815B3F6.1030402@gnu.org>

Hi,

On Mon, 28 Apr 2008, Paolo Bonzini wrote:

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

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

Ciao,
Dscho