GitHub Mirror is broken

Ben Gamari ben at
Tue Feb 19 06:30:19 UTC 2019

Artem Pelenitsyn <a.pelenitsyn at> writes:

> 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.
Fixed. It seems like the mirroring service got stuck.


 - Ben
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <>

More information about the ghc-devs mailing list