[ghc-steering-committee] GHC proposals

Joachim Breitner mail at joachim-breitner.de
Tue Jun 11 12:40:07 UTC 2019


I just

 * Added easier to find links to 
 * Added the Implemented label to some proposals that have the
   `implemented` thing non-empty in the proposal file.
   (I rely on volunteers to indicate which proposals have been
   implemented; there is no good technical solution in place to
   automate or monitor that efficiently)
 * I went through all(!) accepted proposals, and added a link
   to the accepted version to the top of the discussion thread, e.g.
   This means that there is now a path
   the start page → list of accepted proposals → discussion page → proposal

I hope I’ll be able to maintain this. Help is appreciated, in
particular pinging me about implemented proposals.

Enough tedious work for now.


Am Dienstag, den 11.06.2019, 13:47 +0200 schrieb Joachim Breitner:
> Hi,
> Am Dienstag, den 11.06.2019, 09:05 +0000 schrieb Simon Peyton Jones:
> > >  I wonder if we can still fix this. Nobody is really using the “accepted”
> > >  number, so maybe it is fine?
> > 
> > I don't have a strong opinion -- others may.
> > 
> > But it would help, *on the home page*
> > 	https://github.com/ghc-proposals/ghc-proposals
> > to have clear lists:
> > 
> > (A) List of all not-yet-accepted proposals, along with their status.
> > (B) List of all accepted proposals, along with their status.
> for (A) we have these links
>  - ≡ List of proposals under discussion
>  - ≡ List of proposals waiting for shepherd
>  - ≡ List of proposals under review
>  - ≡ List of dormant proposals
>    (but we also eventually close proposals, so this is not precise)
> All these lists point to the discussion for a proposal, not the
> proposal itself.
> There is no good way of showing the union of these proposals, as
> GitHub’s label query language is not expressive enough (no union of
> queries)
> I can add a section to the homepage that collects all these links, if
> they are not easy enough to find right now.
> For (B) we (now, looks like I forgot to push a few weeks ago) point to
>  - https://github.com/ghc-proposals/ghc-proposals/tree/master/proposals
> which is accurate, but not pretty and there are no labels.
> If we start updating the top post of reach proposal to point to the
> final thing, then using this for (B) would work:
> https://github.com/ghc-proposals/ghc-proposals/pulls?utf8=%E2%9C%93&q=is%3Apr+label%3AAccepted+
> It again points to the discussion page, which is a bit odd for accepted
> proposals, but if there is a clear link on top “accepted proposal”, and
> maybe some explanation “This proposal has been accepted and can be
> found at; this discussion is here for reference”, then that might be
> fine?
> This view would also clearly show the “Implemented” label, which we
> have to maintain, of course.
> It’s a bit more work, but I guess it is the right thing to do. Will do
> it right away.
> > (Status = labels, I guess.)
> > 
> > For (B) the link you give
> > https://github.com/ghc-proposals/ghc-proposals/pulls
> > seems good, though additional guidance (along with the link) would be helpful.  For example:
> >  * In this list, accepted proposals won't show up, because they should
> >    be closed.
> Yes, you need to disable the default filter, e.g.
> https://github.com/ghc-proposals/ghc-proposals/pulls?q=
> or click on closed.
> >  * You can filter by status by clicking on the "Labels" button.
> > 
> > When I fitered by "dormant" I only saw three -- that was a lot fewer than I expected.
> Again, because by default GitHub only shows open PRs. Eventually, we or
> the authors close proposals.
> Cheers,
> Joachim
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
Joachim Breitner
  mail at joachim-breitner.de

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20190611/a122fcf1/attachment.sig>

More information about the ghc-steering-committee mailing list