From c1da0719f5baa4f9b5d565da2c427a2888a955a1 Mon Sep 17 00:00:00 2001
From: Simon Brandhof <simon.brandhof@sonarsource.com>
Date: Fri, 15 Mar 2019 14:38:43 +0100
Subject: [PATCH] Disable build of branch on Travis if a PR is open

---
 travis.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/travis.sh b/travis.sh
index c61c5ee..c468541 100755
--- a/travis.sh
+++ b/travis.sh
@@ -11,5 +11,11 @@ configureTravis
 
 export DEPLOY_PULL_REQUEST=true
 
+# When a pull request is open on the branch, then the job related
+# to the branch does not need to be executed and should be canceled.
+# It does not book slaves for nothing.
+# @TravisCI please provide the feature natively, like at AppVeyor or CircleCI ;-)
+cancel_branch_build_with_pr || exit 0
+
 regular_mvn_build_deploy_analyze -Pdist-linux,dist-windows,dist-macosx
 
-- 
2.39.5