GitHub Mirror is broken
ben at smart-cactus.org
Tue Feb 19 06:30:19 UTC 2019
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.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 487 bytes
Desc: not available
More information about the ghc-devs