Re: Github migration of Cabal repo is problematic

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