- From: Anssi Kostiainen via GitHub <sysbot+gh@w3.org>
- Date: Tue, 17 May 2016 12:33:13 +0000
- To: public-media-capture@w3.org
vivienlacourba has just merged pull request 122 for https://github.com/w3c/mediacapture-depth: == Do not call echidna on pull requests == It is not needed to call echidna when PR are made but only when they get merged. FYI this comes from: https://github.com/w3c/echidna/wiki/Setting-up-Echidna-as-a-GitHub-hook (of course this change will have have to be integrated on the TR branch) See https://github.com/w3c/mediacapture-depth/pull/122
Received on Tuesday, 17 May 2016 12:33:15 UTC