Re: Github notifications->mailing list?

I should add that I'm not at all opposed to sending all the traffic to the
mailing list -- as I said I get them already and I assume GMail will
coalesce the threads for me (and if not it can be filtered). Just not sure
which would be most useful for the WG.

-Dan Veditz