On Mon, Nov 3, 2008 at 10:48, Jakub Narebski <jnareb@xxxxxxxxx> wrote: > "git remote <remote> push" for push matching? Not another command that is made to perform yet another piece of funcionality. Let's let remote handle (configuring, and maintaining of) remote related things, not also make it do push stuff. Unless ofcourse, you mean that "git remote push <remote>" (certainly not the other way around) is for configuration only. -- Cheers, Sverre Rabbelier -- 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
