Re: Summary and conclusions on github notifications

On 09/11/2016 15:14, Harald Alvestrand wrote:
> The chairs are uncertain what conclusions can be drawn from this small
> amount of input, but conclude that there seems to be no support for
> continuing to send notifications of the closing of issues and PRs to the
> list. We will ask for them to be turned off accordingly.

They have now been turned off fwiw.


Received on Friday, 18 November 2016 13:52:34 UTC