Ramkumar Ramachandra wrote: > Jonathan Nieder wrote: >> git push master >> ... >> a) Error: you didn't tell me which remote to push to. >> b) Just behave like "git push my-personal-remote master". >> c) Behave like "git push origin master". > > Here, I'd argue for (d): push to branch.master.pushremote/ > branch.master.remote/ remote.pushdefault/ origin. My first hunch is not to like this, since it means git push -- master next might push to two different remotes and because it's not obvious to me when it would be useful. So I am still leaning toward the behavior Jeff suggested. That said, we're probably at the point where enough scenarios have been described for someone to write a patch with a clear explanation about how their proposed behavior takes care of them all. Thanks, Jonathan -- 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