Github migration of Cabal repo is problematic

Johan Tibell johan.tibell at
Sat Apr 21 19:32:41 CEST 2012

On Sat, Apr 21, 2012 at 9:06 AM, Andres Löh <andres at> 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

More information about the cabal-devel mailing list