From: Paolo Bonzini <bonzini@gnu.org>
Date: Fri, 18 Sep 2009 11:15:59 GMT
Subject: Re: [PATCH] git-push: add option --repo-all
Message-ID: <4AB36BEF.5050508@gnu.org>
In-Reply-To: <200909181302.49335.jnareb@gmail.com>


> Well, git-remote has "git remote update" subcommand for fetching from
> a group of remote repositories, so it is not only about managing remotes.
> I think "git remote push" (or something like that) would fit in
> git-remote area of competence.
>
> Besides git-remote understands groups of remote repositories for fetch
> (update), which would be (I think) a good idea also for push.

Agreed.

Paolo