<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">I think, it also only mirrors master, but not other branches, which is unfortunate especially for release branches.<div class=""><br class=""></div><div class="">Manuel<br class=""><div><br class=""><blockquote type="cite" class=""><div class="">Am 31.03.2019 um 05:52 schrieb Phyx <<a href="mailto:lonetiger@gmail.com" class="">lonetiger@gmail.com</a>>:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class=""><div class="">Hi Ben,</div><div class=""><br class=""></div><div class="">I think the mirror is stuck again. Hasn't updated in 8 days.</div><div class=""><br class=""></div><div class="">Cheers,</div><div class="">Tamar<br class=""></div></div><br class=""><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Feb 19, 2019 at 6:30 AM Ben Gamari <<a href="mailto:ben@smart-cactus.org" class="">ben@smart-cactus.org</a>> wrote:<br class=""></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Artem Pelenitsyn <<a href="mailto:a.pelenitsyn@gmail.com" target="_blank" class="">a.pelenitsyn@gmail.com</a>> writes:<br class="">
<br class="">
> Hello devs,<br class="">
><br class="">
> This is just to let you know that the latestes commit on GitHub ghc/ghc<br class="">
> repo dates back to 22th of January. Personally, I find GitHub mirror quite<br class="">
> useful for ocasional searches over the code base. Therefore, I'd<br class="">
> appreciated repairing the mirror.<br class="">
><br class="">
Fixed. It seems like the mirroring service got stuck.<br class="">
<br class="">
Cheers,<br class="">
<br class="">
- Ben<br class="">
_______________________________________________<br class="">
ghc-devs mailing list<br class="">
<a href="mailto:ghc-devs@haskell.org" target="_blank" class="">ghc-devs@haskell.org</a><br class="">
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank" class="">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br class="">
</blockquote></div>
_______________________________________________<br class="">ghc-devs mailing list<br class=""><a href="mailto:ghc-devs@haskell.org" class="">ghc-devs@haskell.org</a><br class="">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs<br class=""></div></blockquote></div><br class=""></div></body></html>