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@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@smart-cactus.org <mailto:ben@smart-cactus.org>> wrote: Artem Pelenitsyn <a.pelenitsyn@gmail.com <mailto:a.pelenitsyn@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@haskell.org <mailto:ghc-devs@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@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Thanks! Manuel

Am 31.03.2019 um 17:09 schrieb Ben Gamari <ben@well-typed.com>:

Manuel M T Chakravarty <chak@justtesting.org> writes:

...

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

Fixed on both counts. The GitHub mirror should be both up-to-date and include all branches.

Cheers,

- Ben

_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs