aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-x.travis/prevent-base-master.sh5
1 files changed, 0 insertions, 5 deletions
diff --git a/.travis/prevent-base-master.sh b/.travis/prevent-base-master.sh
deleted file mode 100755
index 54536a66..00000000
--- a/.travis/prevent-base-master.sh
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/bash
-if [ "$TRAVIS_PULL_REQUEST" != "false" ] && [ $TRAVIS_BRANCH == "master" ] && $(git diff --name-only $TRAVIS_COMMIT_RANGE | grep -q "^src/"); then
- echo 'The base branch for pull requests must be "develop"' >&2
- exit 1
-fi