Re: push.default=upstream doesn't play nicely with remote.pushdefault/branch.*.pushremote

2013-09-10 Thread Felipe Contreras
On Tue, Sep 10, 2013 at 8:10 AM, Ximin Luo 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

Re: push.default=upstream doesn't play nicely with remote.pushdefault/branch.*.pushremote

2013-09-10 Thread Junio C Hamano
Ximin Luo writes: > (Please CC me as I am not subscribed.) > > $ git config -l | grep '^branch.master\|^push.' > push.default=upstream > branch.master.remote=upstream > branch.master.merge=refs/heads/master > branch.master.pushremote=origin > > $ git branch > * master > > $ git push > fatal: You