Re: Seeking opinions on github info to list

When defending against patents claims, it is often important to show when an idea was first introduced. Github is not an OK place for long term retention of this information - they may want to delete old info at some point. Given all the real conversation is happening on github, I think the W3C should archive all the github info to a separate mailing list that people can subscribe to or not but that the W3C keeps in long term archives.  

I don't really care which of the options we used - I have filtered the github traffic to a seperate view for a long time now and I imaigne many others do the same. 
 

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