Per-WG notification of pull requests

Hi,

I maintain a tool that some groups use to mirror part of their github 
activity to a mailing list:
   https://github.com/dontcallmedom/github-notify-ml/

I've recently tweaked that tool to make it capable of filtering based on 
label, and furthered tweaked this today to make it possible to be 
notified when a given issue or pull request gets labeled with a 
particular label.

When applied to web-platform-tests, this makes it possible to notify a 
mailing list when a given pull request gets automatically labeled with 
its WG label.

I've applied this to the WebRTC Working Group: 
https://lists.w3.org/Archives/Public/public-webrtc-testsuite/2015May/0001.html

If you belong to other groups who would like a similar set up, please 
get in touch.

I'm also interested in ideas as to where that option should be documented.

Dom

Received on Monday, 18 May 2015 14:43:49 UTC