To me, this suggests that they were too married to 'production' being the
"dominant" branch.
Thing is: they had two branches. They should be merged, but one should
prevail: 'master'.
So if I have two branches, say "x" and "y", and I want to merge them, but
really throw away the tree of "x", I would check out 'y', naturally. Then
'git merge -s ours x'.
If the result should become the state of 'x', too, I would then just
'git push origin y:x'.
Maybe I am "Git-braindead" by now, so that you can make fun of me like I
used to make fun of CVSers and SVNers...
Ciao,
Dscho
--
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