From e3dc35ad414ce3e554073f8761ec5ca37f367204 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Tue, 28 Mar 2017 18:05:32 +0200
Subject: [travis] Add webhook to Gitter.

---
 .travis.yml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/.travis.yml b/.travis.yml
index 81f50af0a0..d35b7a8422 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -123,3 +123,12 @@ script:
 - echo 'Running tests...' && echo -en 'travis_fold:start:coq.test\\r'
 - ${TW} make -j ${NJOBS} ${TEST_TARGET}
 - echo -en 'travis_fold:end:coq.test\\r'
+
+# Testing Gitter webhook
+notifications:
+  webhooks:
+    urls:
+      - https://webhooks.gitter.im/e/3cdabdec318214c7cd63
+    on_success: change  # options: [always|never|change] default: always
+    on_failure: always  # options: [always|never|change] default: always
+    on_start: never     # options: [always|never|change] default: always
-- 
cgit v1.2.3