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 <loneti...@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 <b...@smart-cactus.org > <mailto:b...@smart-cactus.org>> wrote: > Artem Pelenitsyn <a.pelenit...@gmail.com <mailto:a.pelenit...@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
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs