W3C home > Mailing lists > Public > public-media-capture@w3.org > May 2016

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

From: Anssi Kostiainen via GitHub <sysbot+gh@w3.org>
Date: Tue, 17 May 2016 12:33:13 +0000
To: public-media-capture@w3.org
Message-ID: <pull_request.closed-67342148-1463488392-sysbot+gh@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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:26:36 UTC