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 <[email protected]> wrote: > Artem Pelenitsyn <[email protected]> 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 > [email protected] > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs >
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
