GitHub Mirror is broken

[Manuel M T Chakravarty]

I think, it also only mirrors master, but not other branches, which is unfortunate especially for release branches.

Manuel

> Am 31.03.2019 um 05:52 schrieb Phyx <lonetiger at 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 at smart-cactus.org <mailto:ben at smart-cactus.org>> wrote:
> Artem Pelenitsyn <a.pelenitsyn at gmail.com <mailto: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.
> 
> Cheers,
> 
>  - Ben
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org <mailto:ghc-devs at haskell.org>
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs <http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs>
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20190331/b2285ed5/attachment.html>