Github migration of Cabal repo is problematic
johan.tibell at gmail.com
Sat Apr 21 19:32:41 CEST 2012
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.
> 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.
More information about the cabal-devel