"auto" response to new issues in Github

Thoughts on this?

<start>
Thank you for the comment. Please be aware that the Working Group will be discussing this issue on this issue’s discussion thread, as well on Working Group teleconferences and other communication channels. You are welcome to participate in the discussion here, but please be advised that all discussion is preliminary and should not be interpreted as a Working Group decision or official response to the issue.

Once the Working Group reaches consensus on an issue a comment with the resolution will be provided in this issue, using “[Official WG Response]” at the start of the comment to indicate that the comment represents the official position of the Working Group. At that time, we request that you confirm whether you are satisfied with the response within 1 week. In the event of no response the Working Group will regard the issue as being satisfactory to the individual or group initiating the comment.

If an issue is purely editorial (e.g. a spelling or grammar error), a full Working Group response is not required, and an Editor may provide a response.

On active issues threads a commenter may receive many email notifications. To unsubscribe from the discussion thread, click the button labeled “unsubscribe” presented in the right column and following the text “Notifications”. You will not receive any further emails unless your GitHub user name is mentioned in a comment or if you comment on the the issue discussion thread – both of these will reset your status to be subscribed to the issue thread.

When the Working Group offers the Official response, it will add the GitHub user name for the original commenter so they are notified.
<end>

Received on Thursday, 1 February 2018 16:51:38 UTC