* I agree with “hitting master”.
* The “implemented status does not need to be 100% up to date; but it would be good to explain how to ask for a proposal to be moved from “accepted” to “implemented”.
* There should be a link in the “timeline” list on https://github.com/ghc-proposals/ghc-proposals, so that people can find the list. Perhaps “6. Later, someone may implement the proposal. We count it as “implemented” when it hits the GHC mater banch” <link>
THanks!
Simon
From: Vitaly Bragilevsky
Sent: 03 December 2018 16:41
To: Joachim Breitner
Cc: Simon Peyton Jones ; ghc-steering-committee
Subject: Re: GHC proposals
Hi,
I've fixed "under discussion" list and added "Non-proposal" label.
I am volunteering to keep track of the implemented proposals with "Implemented" label. I think hitting master is the right time to consider the proposal implemented, are there other ideas on that?
Vitaly
On Mon, Dec 3, 2018 at 8:24 AM Vitaly Bragilevsky mailto:bravit111@gmail.com> wrote:
Vitaly, how about we delete the Proposal tag, and maybe mark non-
proposals with a tag (maybe with a grey or dull color). Given that most
pull requests are proposals, let’s mark the exceptions instead!
Ok, I'll do that. Sorry for messing things up, I wanted to count all proposals but took a longer road.
Vitaly
