This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
Can you please reopen the GitHub issues - bugzilla is really annoying, limits collaboration, etc.
I don't think it was ever open. Is there integration with www-dom possible?
Should be possible to make it work with www-dom. There is an "email" web service, under the repo Settings which should send updates from the repo to www-dom. Otherwise, you can subscribe a faux user to the repo (e.g., "www-dom") and register its email address to be the mailing-list archive (though might require some gymnastics to get that to work).
Dominique, is there such an email service for GitHub written already? I opened GitHub issues meanwhile Marcos. Hopefully we'll see more active participation there.
Yes, I've set up a system to send github notifications to mailing lists, see: https://github.com/dontcallmedom/github-notify-ml/ https://lists.w3.org/Archives/Member/chairs/2014OctDec/0169.html If you're interested in using this for a given repo/mailing list, ping me over email and I'll set it up for you.
Great success: https://lists.w3.org/Archives/Public/www-dom/2015JanMar/0113.html