From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Mon, 28 Apr 2008 10:33:49 GMT
Subject: Re: [PATCH resend] make "git push" update origin and mirrors, "git push --mirror" update mirrors
Message-ID: <alpine.DEB.1.00.0804281132420.5399@eeepc-johanness>
In-Reply-To: <48159688.2030202@gnu.org>

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