Website for viewing proposals

Fri May 10 22:26:13 UTC 2019

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