Re: [RFC/PATCH 3/3] push: add separate 'downstream' branch

From: Ramkumar Ramachandra <artagnon@gmail.com>
Date: May 16, 2013, 10:06 UTC
Message-ID: <CALkWK0m+_AbCd305dU5p5bxwuPPCBKJH7a3e6rHgxxnySMz0pQ@mail.gmail.com>
In-Reply-To: <CAMP44s2vsD2uwFoL5_79m05gtqyKLN9wHX8Yrhtn0kT4LVULxQ@mail.gmail.com>

Felipe Contreras wrote:

Show 5 quoted lines

>> [remote "origin"]
>>     push = refs/heads/master:refs/heads/fc/master
>>
>> [remote "."]
>>     push = refs/heads/fc/old-remote/hg:refs/heads/fc/remote/hg

Major thinko.  It should be:

[remote "github"]
    push = refs/heads/master:refs/heads/fc/master
    push = refs/heads/fc/old-remote/hg:refs/heads/fc/remote/hg

Show 10 quoted lines

>> Advantage being you can do:
>>
>> [remote "origin"]
>>     push = refs/heads/*:refs/for/*
>>
>> While you can't with branch.<name>.push.
>
> But I can do 'git push origin "refs/head/*:refs/heads/for/*"', not
> that I've ever had the need to do something like that, so I don't
> care.

Isn't the entire point of this exercise getting git to dwim without being explicit?

I don't care about it personally either, which is why I haven't written a patch yet. However, there are users of Gerrit who would appreciate this feature: in the remote.pushdefault thread, some people requested this feature.