GitHub Mirror is broken
Ben Gamari
ben at well-typed.com
Sun Mar 31 15:09:01 UTC 2019
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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20190331/e2a4d62b/attachment.sig>
More information about the ghc-devs
mailing list