Re: [BUG] Cannot push some grafted branches

From: Junio C Hamano <gitster@pobox.com>
Date: Dec 17, 2012, 08:56 UTC
Message-ID: <7vfw35m509.fsf@alter.siamese.dyndns.org>
In-Reply-To: <20121217085242.02a77243@chalon.bertin.fr>

Yann Dirson <dirson@bertin.fr> writes:

> And we may still want the bug fixed, or would we just list it as a known bug ?
> At least it does not seem to occur with "replace" refs:

The "replace" was designed to "fix" known limitation of grafts, which is _inherent_ to it; the graft information was designed _not_ to be shared across repositories. The fix was done by by using a different mechanism to allow propagating the information across repositories.

So there is nothing further to fix, except that there is a documentation bug you can fix if you didn't find it documented.

Thanks.

Show 8 quoted lines

>
> git-test$ rm .git/info/grafts 
> git-test$ echo "fake merge" | git commit-tree master^{tree} -p master^ -p maint
> b821b2aa00973a47936d7cd25c9a5978b1c839c6
> git-test$ git replace master b821b2aa00973a47936d7cd25c9a5978b1c839c6
> git-test$ git push origin maint
> ...
>    50b03b0..79211fe  maint -> maint