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.
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to [email protected]
More majordomo info at http://vger.kernel.org/majordomo-info.html
