From 041773b99b33f8fb95d4c7ec49b9f70edb564ea3 Mon Sep 17 00:00:00 2001
From: Adrien Ferrand <ferrand.ad@gmail.com>
Date: Fri, 1 Mar 2019 16:24:39 +0100
Subject: [PATCH] Disable build for commit pushed on master (PR are still
 tested of course)

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

diff --git a/.travis.yml b/.travis.yml
index 4adab1e4e..108f853aa 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -18,6 +18,11 @@ branches:
     - /^\d+\.\d+\.x$/
     - /^test-.*$/
 
+# Since master can receive only commits from PR that have already been tested, we avoid with the
+# the following condition to launch again a pipeline when the merge commit is pushed to master.
+# However master still needs to be set in branches section to allow PR for master to be built.
+if: NOT (type = push AND branch = master)
+
 matrix:
   include:
     # These environments are always executed