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

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