RE: Seeking opinions on github info to list

Notifying individually about issue and PR filing makes sense to me.

Not so sure that we need individual close and merge notifications, which (roughly) double the amount of traffic.

Would it be possible to aggregate close/merge notifications?


> On Oct 27, 2016, at 3:57 AM, Harald Alvestrand <harald@alvestrand.no> wrote:
>
> We've been running for a while with mirroring of all opening and closing
> of issues and PRs to the mailing list.
>
> This will often constitute a majority of the list traffic, and we've had
> people comment that it is "too much".
>
> We still think it's important that the whole WG gets information on
> what's happening in github, so that we don't run the risk that decisions
> will be apparently taken without proper WG input.
>
> One option we're considering is to consolidate all the github info into
> a digest, sent either every day or every week, so that the list doesn't
> get as many messages.
>
> What do people think about that, and how often do you think that it
> should be sent?
>
> - Every message (as today)
>
> - Every day
>
> - Every week
>
> - Some other interval?
>
> And - do people know of software that can do this automatically already?
>
> Harald, chair hat on
>
>
>

Received on Friday, 28 October 2016 20:48:27 UTC