On Mon, 17 Dec 2012 00:56:06 -0800
Junio C Hamano <gits...@pobox.com> wrote:
> Yann Dirson <dir...@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.
I see. But from what I observed (without looking at the source), it looks like
when determining which commits are to be pushed, the grafts file is not
"neutralized"
as it should.
> So there is nothing further to fix, except that there is a documentation
> bug you can fix if you didn't find it documented.
Will do.
> Thanks.
>
> >
> > 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
--
Yann Dirson - Bertin Technologies
--
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
