Re: Website for viewing proposals

Hi, unfortunately it has to be a dedicated domain, not an URL on some other domain, to get the easy, no-additional-work hosting from readthedocs. Cheers, Joachim Am Freitag, den 10.05.2019, 23:30 +0100 schrieb Matthew Pickering:

Perhaps the correct URL should be

ghc.haskell.org/proposals

but that redirects to https://www.haskell.org/ghc/

So is the correct URL https://www.haskell.org/ghc/proposals ?

Anyway, there should probably be some mention of the proposals process on the GHC website which is sorely unloved.

Matt

On Fri, May 10, 2019 at 11:26 PM Gershom B wrote:

...

Joachim -- will the readthedocs settings automatically know how to direct things once the cname is set?

Also, I'd note that the documentation needs a little cleanup to make clear that this is the page for _accepted_ proposals, not all proposals -- perhaps it should also link back to the PR tracker as well? (And also the nice generation makes obvious that there are a few too many proposals numbered "1" :-)). Along those lines too, perhaps the name should be bikeshedded a bit for that reason -- ghc-proposals.haskell.org makes it look like that's where I'd go to get all proposals, not just the accepted ones.

Cheers, Gershom

On Fri, May 10, 2019 at 6:22 PM Matthew Pickering wrote:

...

Thanks Joachim, that looks good.

I might have a go styling the site this weekend to make it fit in more with the Haskell.org theme.

Matt

On Fri, May 10, 2019 at 11:13 PM Joachim Breitner wrote:

...

Hi,

given that Matthew already created a sphinx setup, GitHub pages isn’t optimal. You need to use some other CI system like Travis to actually build the page and push it, which I have set up a few times and is possible, not completely straight-forward. What is straight-forward is readthedocs.io, where I essentially just pressed one button and got this:

https://ghc-proposals.readthedocs.io/en/latest/

Neat, isn’t it? I will clean up the section numbering.

The only thing I’d like to do before making this official is to use a more permanent URL, in case we move this somewhere else. For that I’d need a haskell.org admin to add a CNAME from

ghc-proposals.haskell.org

to

readthedocs.io

CC’ing gershom, hope he is the right contact for this task.

Cheers, Joachim

Am Freitag, den 10.05.2019, 13:33 -0700 schrieb Iavor Diatchki:

...

Having a read-only rendered version of all accepted proposals should probably be pretty simple---we can even host it in the same repo using "Github Pages". I don't know that we need anything more complex than that.

On Thu, May 9, 2019 at 5:41 AM Joachim Breitner wrote:

...

Hi,

I looked into getting doi’s for our accepted proposals, but it looked harder than it should be.

Building a nice web page from our repository and publishing it on GitHub pages, which can serve a custom domain like ghc-proposals.haskell.org would not be hard. Matthew even started a Makefile at some point that produces a reasonably nice output using sphinx.

Maybe only reason why I am hesitant to do so is that there is a feature creep risk: We start with a webpage that shows accepted proposals, soon we’ll add functionality to list pending proposals and their status (why not? They are just a GitHub API call away), then we start using this page to actually drive the proposals (surely we can use this to tally the votes), and then we end up with a system that no longer has the “you just need to know GitHub to use it” property that made us build a Github-centric process in the first place.

But maybe I am paranoid, and I should just set up the CI infrastructure for Matthew’s sphinx build.

BTW, in hindsight, I regret that we renumber proposals after acceptance. It would be easier if they just retained the number of the PR (other proposal processes out there do that). But that ship has sailed.

Cheers, Joachim

Am Donnerstag, den 09.05.2019, 10:45 +0100 schrieb Matthew Pickering: > I want to cite a GHC proposal but linking to github for it doesn't > seem very official or permanent. > > Last year you also cited a proposal for your Haskell symposium paper > (https://arxiv.org/abs/1806.03476) but instead linked to the pull > request which also doesn't seem ideal to me. > > Matt > > On Thu, May 9, 2019 at 10:11 AM Simon Peyton Jones > wrote: > > Interesting. How would it differ from what we have (i.e. github's RST viewer)? > > > > > -----Original Message----- > > > From: ghc-devs On Behalf Of Matthew > > > Pickering > > > Sent: 09 May 2019 09:40 > > > To: GHC developers > > > Subject: Website for viewing proposals > > > > > > Hi, > > > > > > It would be useful if there was a canonical way to link and view GHC > > > proposals rather than relying on github's RST viewer. > > > > > > Can we set up a website, `ghc.haskell.org/proposals`, which is deployed to > > > automatically when a new accepted proposal is merged? > > > > > > FWIW, if the proposals process was also on gitlab then doing this > > > deployment would be easy using our CI infrastructure but I don't know how > > > to set up something similar on github. > > > > > > Cheers, > > > > > > Matt > > > _______________________________________________ > > > ghc-devs mailing list > > > ghc-devs@haskell.org > > > https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.hask > > > ell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc- > > > devs&data=01%7C01%7Csimonpj%40microsoft.com%7C33b5834164a1436bd09308d6 > > > d459edc0%7C72f988bf86f141af91ab2d7cd011db47%7C1&sdata=vWx4R2xtV2%2BX7l > > > RpM0weHo87NIc7pl0MoIiW76R%2BDdM%3D&reserved=0 > _______________________________________________ > ghc-devs mailing list > ghc-devs@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/

_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/

_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/