Do not call echidna on pull requests

w3c / mediacapture-depth

the Media Capture Depth Stream Extensions specification

https://w3c.github.io/mediacapture-depth/

Other

24 stars 20 forks source link

Closed vivienlacourba closed 8 years ago

vivienlacourba commented 8 years ago

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)

anssiko commented 8 years ago

Thanks!