Thanks for this explanation. I would have expected #1 to happen in the case that you outline. You're right, since a built in merge utility has more information

Thanks for this explanation. I would have expected #1 to happen in the case that you outline. You're right, since a built in merge utility has more information about the semantical intent of the operation it can essentially repeat the complete operation whereas my naive implementation would not.