Re: Website for viewing proposals

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