From: Felipe Contreras <felipe.contreras@gmail.com>
Date: Wed, 11 Sep 2013 00:38:20 GMT
Subject: Re: push.default=upstream doesn't play nicely with remote.pushdefault/branch.*.pushremote
Message-ID: <CAMP44s0ZnGAhMv0a4HbVkZ6voRzxrXW-4T6Dj=H3Lb3kGFsOHA@mail.gmail.com>
In-Reply-To: <522F1A61.3010805@gmx.com>

On Tue, Sep 10, 2013 at 8:10 AM, Ximin Luo <infinity0@gmx.com> 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