GitHub Mirror is broken

[Ben Gamari]

Artem Pelenitsyn <a.pelenitsyn at gmail.com> 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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20190219/2f73ce23/attachment.sig>