Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Contributing #362

Merged
merged 13 commits into from Oct 13, 2017
9 changes: 6 additions & 3 deletions CONTRIBUTING.md
Expand Up @@ -81,9 +81,12 @@ incorporating them into the draft(s). When they do so, the issue will be closed
the `proposal` label.

When a new draft is published, the design issues that have been closed since the last draft will be
highlighted on the mailing list, to aid reviewers. If new information (in the judgement of the
Chairs) about a decision comes to light, or there is an objection to a proposed resolution flagged
with `proposal`, the issue will be reopened by the Chairs.
highlighted on the mailing list, to aid reviewers.

If new information (in the judgement of the Chairs) about a decision comes to light, or there is an
objection to a proposed resolution flagged with `proposal`, the issue will be reopened by the
Chairs. Otherwise, the `proposal` flag will be removed from those issues, to denote that their
resolution has been accepted.


## Pull Requests
Expand Down