Re: [ghc-steering-committee] Redid our documentation

On Feb 25, 2017, at 11:26 PM, Joachim Breitner wrote:

* What was “Under Discussion” is now simply any PR that does not have any other label. This way, when opening discussion, nothing concrete has to be done. Which is easier. (GitHub allows to list all PRs that have no label, so there is no loss in functionality here.)

* When the author wants to submit the PR, he sends a mail to this mailinglist (is this set up to accept mails from non-subscribers?) and it its the task of the shephard to set the label to indicate that that the committee has accepted to review the proposal. (At this point, the shephard could for example set the `Out-of-scope` label instead.)

While I have not re-read the documentation changes, this tweak seems sensible to me. I was always skeptical of having us react simply to a label change without an email. Thanks for doing this! Richard