I’m not sure how much we should use the github.com interface for comments, or whether we should just send comment to the email list.
Please send all comments directly to the list, rather than sending them through Github. That way, everyone can follow what's happening, and we have a unified public record. We can use Github for pull requests, though. I mirror those to the list manually.