Re: WG Github + Mailing List

On 08/12/15 19:13, Erik Lagerway wrote:
> In an effort to provide additional transparency between the Github
> Issues / Pull Requests and the Mailing List, we will be including some
> of the Github activity in the public mail list, specifically;
> - New and Closed Issues and PRs.

Note: the script missed PRs that were merged (no notification was made). 
This has now been fixed and should work, but you might want to check in 
github what has happened the last couple of days (quite many PRs were 
merged yesterday).

>
> The concept here is that once the Issue or PR that is created or closed,
> github will notify the list and in the case of open items, a wg member
> could subscribe to that item via Github for further notifications.
>
> We also considered including more content from the Github streams but it
> became rather messy quickly.
>
> We will be starting this week. Your comments regarding your experience
> with this change in mind would be much appreciated. That being said, if
> you could withhold comment for the next 30 days or so it would provide a
> wider sampling of data to draw from in order to reach any subsequent
> conclusion.
>
> Erik, for the chairs.
>
> *Hookflash* <http://hookflash.com/> | m 1.604.562.8647 |
> erik@hookflash.com <mailto:erik@hookflash.com> | @elagerway
> <http://twitter.com/elagerway>


Received on Friday, 11 December 2015 14:47:58 UTC