Re: GitHub Mirror is broken

Thanks! Manuel

Am 31.03.2019 um 17:09 schrieb Ben Gamari :

Manuel M T Chakravarty 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