GitHub Mirror is broken
lonetiger at gmail.com
Sun Mar 31 03:52:36 UTC 2019
I think the mirror is stuck again. Hasn't updated in 8 days.
On Tue, Feb 19, 2019 at 6:30 AM Ben Gamari <ben at smart-cactus.org> wrote:
> 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
> > 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
> ghc-devs mailing list
> ghc-devs at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-devs