Any interest in moving GHC issues / wiki to github?

Carter Schonwald carter.schonwald at
Fri Jul 5 23:54:20 CEST 2013

I believe some of those issues will be resolved with the pending move  of a
lot of infrastructure to a better dedicated box that gershom
and others have started undertaking. Not sure what the precise timeline is,
but they're actually working on spending volunteer time making it so, and
it will be quite I believe.

migrating all  the tickets and such would be a pretty colossal undertaking,
and the ROI of that vs just getting the dedicated hosting upgraded doesn't
seem to be there, and would take longer.

I might be missing some pointed, but all the trac stuff and friends will be
getting a nice update soon once the hosting infrastructure is updated. (the
ghc trac is hosted with the other software right?)

On Fri, Jul 5, 2013 at 5:36 PM, Bryan O'Sullivan <bos at> wrote:

> We have a repeated problem with the GHC wiki and issue tracker getting
> filled with spam, and the server is currently taking about a minute to
> respond to each attempt to load a web page.
> I wonder if anyone would be open to us migrating the content to github
> instead. (Actually, while I'm at it, cloning from github is much faster
> than from, but that's a fight for another day.)
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list