Re: push.default=upstream doesn't play nicely with remote.pushdefault/branch.*.pushremote
From: Felipe Contreras <hidden>
Date: 2016-06-15 22:58:43
On Tue, Sep 10, 2013 at 8:10 AM, Ximin Luo [off-list ref] wrote:
(Please CC me as I am not subscribed.)
No need to say that, Git mailing list is sane and doesn't do reply-to munging.
The question here then is, what remote branch should git push to - since pushremote only specifies a repo? I can suggest two options: - A: push to branch.*.merge if it's defined; otherwise push to <current branch> (like push.default=current) - B: push to <current branch> regardless
Or C: introduce the concept of a publish branch to complement pushremote: http://article.gmane.org/gmane.comp.version-control.git/233572 -- Felipe Contreras