Copying GitHub issue traffic to the list?

Now that we are maintaining documents on GitHub, people contributing on issues for a given repository all get emails related to that issue.  Would help if we were to automatically copy those emails to the public-wot-ig list?

—
   Dave Raggett <dsr@w3.org <mailto:dsr@w3.org>>