GitHub Mirror is broken
Manuel M T Chakravarty
chak at justtesting.org
Sun Mar 31 16:27:05 UTC 2019
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
More information about the ghc-devs
mailing list