Re: [PATCH] git-push: add option --repo-all
- From
Paolo Bonzini <bonzini@gnu.org>
- Date
- Sep 18, 2009, 11:15 UTC
- Message-ID
- <4AB36BEF.5050508@gnu.org>
- In-Reply-To
- <200909181302.49335.jnareb@gmail.com>
Show 7 quoted lines
> 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