On 07/02/2014 07:10 PM, Alex Vandiver wrote:
> On 07/02/2014 06:20 PM, Junio C Hamano wrote:
>> Alex Vandiver <a...@chmrr.net> writes:
>>>     [remote "github"]
>>>         url = g...@github.com:bestpractical/rt.git
>>>         fetch = +refs/*:refs/*
>>>         mirror = yes
>> "git push github master^:master" must stay a usable way to update
>> the published repository to an arbitrary commit, so "if set to
>> mirror, do not pretend that a fetch in reverse has happened during
>> 'git push'" will not be a solution to this issue.
> Hm?  I'm confused, as mirror isn't compatible with refspecs:
> $ git push github master^:master
> error: --mirror can't be combined with refspecs

Just following up on this -- can you clarify your statement about "git
push github master^:master" in light of the fact that --mirror already
disallows such?
 - Alex
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to