- From: Vivien Lacourba via GitHub <sysbot+gh@w3.org>
- Date: Thu, 21 Apr 2016 12:02:10 +0000
- To: public-media-capture@w3.org
vivienlacourba has just submitted a new pull request 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 Thursday, 21 April 2016 12:02:12 UTC