Github migration of Cabal repo is problematic

[Johan Tibell]

On Sat, Apr 21, 2012 at 9:06 AM, Andres Löh <andres at well-typed.com> wrote:
>> My vote is for the latter. GHC has coped with flag days for libraries before.

Mine too.

> 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?

I say keep them. Make sure you run git gc --aggressive once you
imported everything. It will compact the repo a lot.

-- Johan