[ghc-steering-committee] Redid our documentation

[Richard Eisenberg]

> On Feb 25, 2017, at 11:26 PM, Joachim Breitner <mail at joachim-breitner.de> 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