Re: WG Github + Mailing List

Good point, I will summarize those merges on the list for clarity sake.

*Hookflash* <http://hookflash.com/> | m 1.604.562.8647 | erik@hookflash.com
| @elagerway <http://twitter.com/elagerway>

On Fri, Dec 11, 2015 at 6:46 AM, Stefan Håkansson LK <
stefan.lk.hakansson@ericsson.com> wrote:

> 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>
>
>