Github migration of Cabal repo is problematic

[Andres Löh]

> My vote is for the latter. GHC has coped with flag days for libraries before.

I'm leaning towards this solution as well. Here's another related question:

Adding all branches together in one git repository makes the
repository have roughly 120 MB. Is this considered problematic? Should
we remove old branches?

Cheers,
  Andres

-- 
Andres Löh, Haskell Consultant
Well-Typed LLP, http://www.well-typed.com