Github repos for boot libraries

Hi all, Currently if I go to the Github mirror for a boot library like transformers: https://github.com/ghc/packages-transformers I see the text: Mirror of packages-transformers repository. DO NOT SUBMIT PULL REQUESTS HERE This may well be true, but it is far less that useful, because although it tells me I can't submit I pull request, It doesn't tell me what I should do to get my issue addressed. Would it be possible to get these messages updated for all of these mirrored repos? Thanks, Erik -- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/

For reference, the master repository for transformers is at
http://hub.darcs.net/ross/transformers
We should probably edit the 'website' link for that github repository to at
least point there.
I don't have access to do so, however.
Subtly pinging Herbert, by adding him here. =)
-Edward
On Mon, Jan 2, 2017 at 1:45 PM, Erik de Castro Lopo
Hi all,
Currently if I go to the Github mirror for a boot library like transformers:
https://github.com/ghc/packages-transformers
I see the text:
Mirror of packages-transformers repository. DO NOT SUBMIT PULL REQUESTS HERE
This may well be true, but it is far less that useful, because although it tells me I can't submit I pull request, It doesn't tell me what I should do to get my issue addressed.
Would it be possible to get these messages updated for all of these mirrored repos?
Thanks, Erik -- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/ _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Edward Kmett
For reference, the master repository for transformers is at
http://hub.darcs.net/ross/transformers
We should probably edit the 'website' link for that github repository to at least point there.
I don't have access to do so, however.
Subtly pinging Herbert, by adding him here. =)
I have fixed the GitHub repo URL. Cheers, - Ben
participants (3)
-
Ben Gamari
-
Edward Kmett
-
Erik de Castro Lopo