>>>>> On Thu, 8 Mar 2012, Michał Górny wrote: > Did you just do the ultimately ugly thing of having two repos in one, > as two completely diverged branches?
I'm certainly not a git expert. But the git project itself does such things in their repo, so I believe it cannot be completely wrong. Ulrich