GitHub Mirror is broken

Artem Pelenitsyn a.pelenitsyn at
Tue Feb 19 03:37:16 UTC 2019

Hello devs,

This is just to let you know that the latestes commit on GitHub ghc/ghc
repo dates back to 22th of January. Personally, I find GitHub mirror quite
useful for ocasional searches over the code base. Therefore, I'd
appreciated repairing the mirror.

Best of luck,
Artem Pelenitsyn
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list