Right. But git shouldn't do duplicate parents. I agree it's a mis-use of
git merge, but either we should have errored out or we should have pruned
the parents.
Yes, the end result is "tecnically correct", but it's not optimal.
Linus
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
