Am 31.03.2019 um 05:52 schrieb Phyx <lonetiger@gmail.com>:

Hi Ben,

I think the mirror is stuck again. Hasn't updated in 8 days.

Cheers,

Tamar

On Tue, Feb 19, 2019 at 6:30 AM Ben Gamari <ben@smart-cactus.org> wrote:

Artem Pelenitsyn <a.pelenitsyn@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
_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs