Re: GitHub Mirror is broken

Artem Pelenitsyn 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. Cheers, - Ben