GitHub Mirror is broken

[Manuel M T Chakravarty]

Thanks!
Manuel

> Am 31.03.2019 um 17:09 schrieb Ben Gamari <ben at well-typed.com>:
> 
> Manuel M T Chakravarty <chak at 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 at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs