ben at smart-cactus.org
Mon Jul 22 13:45:10 UTC 2019
As I noted just a moment ago in another thread on this list,
head.hackage's upstream repository will be moving to GitLab. I'll but
publishing a blog post soon describing some of the infrastructure we
have built around head.hackage.
Otherwise, if you want to submit a patch to head.hackage please open a
merge request against the GitLab repository .
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 487 bytes
Desc: not available
More information about the ghc-devs