When merging already merged commit (can happen when destination != from), the merge is effectively a no-op, and specified merge comment is assigned to preceding commit, modifying it
This should not happen. I think it would be appropriate to report error in such case, because quite probably user will want to use some other parent.
When merging already merged commit (can happen when destination != from), the merge is effectively a no-op, and specified merge comment is assigned to preceding commit, modifying it
This should not happen. I think it would be appropriate to report error in such case, because quite probably user will want to use some other parent.