Re: [PATCH resend] make "git push" update origin and mirrors, "git push --mirror" update mirrors
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Apr 28, 2008, 10:33 UTC
- 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