GitHub Mirror is broken

Ben Gamari ben at
Sun Mar 31 15:09:01 UTC 2019

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <>

More information about the ghc-devs mailing list