W3C home > Mailing lists > Public > public-media-capture@w3.org > December 2014

Github repo notifications

From: Dominique Hazael-Massieux <dom@w3.org>
Date: Wed, 10 Dec 2014 11:41:18 +0100
Message-ID: <1418208078.2103.0.camel@w3.org>
To: public-media-capture@w3.org
Hi all,

Based on previous discussions in the group and with the chairs, I have
set up a system [1] that will notify this list whenever the following
events happen on the mediacapture-main github repository [2]:
* issues are opened, commented on, closed
* pull requests are opened
* commits are pushed

The goal is to keep task force participants aware of the work on the
spec without requiring them to have a github account, as well as to
archive the activity in the persistent archives W3C maintains.

You should hopefully see examples of these notifications in the upcoming
few days.

I have pretty broad control on the events that get notified, and the
messages that get sent, and can thus accommodate changes that people
would like to see once we start getting more experience with these

If this proves useful, we can then easily look to adapt it to the other
repos of the task force (as well as to the WebRTC repos if the WebRTC WG
sees it as useful.)


1. https://github.com/dontcallmedom/github-notify-ml
2. https://github.com/w3c/mediacapture-main/
Received on Wednesday, 10 December 2014 10:41:37 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:24:50 UTC