Website for viewing proposals

Matthew Pickering matthewtpickering at gmail.com
Fri May 10 22:22:41 UTC 2019


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


More information about the ghc-devs mailing list