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