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