[mediacapture-depth] Pull Request: Do not call echidna on pull requests

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