Re: GitHub Mirror is broken

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 wrote:

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