[Monotone-devel] propagate by certing instead of creating a merge node

[Joel Rosdahl]

Bruce Stephens <address@hidden> writes:

> Propagate seems to have three cases.  If you're propagating from
> branch src to dst, then either:
> [...]
>    2. dst is an ancestor of src, in which case there's no merging to
>       be done: just add src to the dst branch

I remember when this special case was introduced, and I also remember
wondering why it was introduced. Why is it in this case better to cert
the src head to the dst branch instead of creating a merge node?

One advantage of creating a merge node is that it gets a state and a
log message of its own, which I think makes the intent of the action
more prominent. But I suppose that there is some disadvantage too?

-- 
Joel Rosdahl <address@hidden>
Key BB845E97; fingerprint 9F4B D780 6EF4 5700 778D  8B22 0064 F9FF BB84 5E97