From: Ramkumar Ramachandra <artagnon@gmail.com>
Date: Thu, 16 May 2013 10:06:22 GMT
Subject: Re: [RFC/PATCH 3/3] push: add separate 'downstream' branch
Message-ID: <CALkWK0m+_AbCd305dU5p5bxwuPPCBKJH7a3e6rHgxxnySMz0pQ@mail.gmail.com>
In-Reply-To: <CAMP44s2vsD2uwFoL5_79m05gtqyKLN9wHX8Yrhtn0kT4LVULxQ@mail.gmail.com>

Felipe Contreras wrote:
>> [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

>> 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.