Website for viewing proposals

Fri May 10 22:34:34 UTC 2019

The GHC website is already deployed by gitlab. It could be possible to
set up a nightly job which clones the ghc-proposals repo and deploys
it in a similar manner.

I do feel that it would be very unfortunate if the proposals were
distant from the supposed official GHC homepage.

Matt

On Fri, May 10, 2019 at 11:33 PM Joachim Breitner
<mail at joachim-breitner.de> wrote:
>
> 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 <gershomb at gmail.com> 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
> > > <matthewtpickering at gmail.com> 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
> > > > <mail at joachim-breitner.de> 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
> > > > > > <mail at joachim-breitner.de> 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
> > > > > > > > <simonpj at microsoft.com> wrote:
> > > > > > > > > Interesting.  How would it differ from what we have (i.e. github's RST viewer)?
> > > > > > > > >
> > > > > > > > > >  -----Original Message-----
> > > > > > > > > >  From: ghc-devs <ghc-devs-bounces at haskell.org> On Behalf Of Matthew
> > > > > > > > > >  Pickering
> > > > > > > > > >  Sent: 09 May 2019 09:40
> > > > > > > > > >  To: GHC developers <ghc-devs at haskell.org>
> > > > > > > > > >  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 at 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 at haskell.org
> > > > > > > > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
> > > > > > > --
> > > > > > > Joachim Breitner
> > > > > > >   mail at joachim-breitner.de
> > > > > > >   http://www.joachim-breitner.de/
> > > > > > >
> > > > > > > _______________________________________________
> > > > > > > ghc-devs mailing list
> > > > > > > ghc-devs at haskell.org
> > > > > > > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
> > > > > --
> > > > > Joachim Breitner
> > > > >   mail at joachim-breitner.de
> > > > >   http://www.joachim-breitner.de/
> > > > >
> > > > > _______________________________________________
> > > > > ghc-devs mailing list
> > > > > ghc-devs at haskell.org
> > > > > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
> --
> Joachim Breitner
>   mail at joachim-breitner.de
>   http://www.joachim-breitner.de/
>