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 -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html