From c8e776bbea9cc4c4ea372d67758839a1db37b6dd Mon Sep 17 00:00:00 2001
From: Sam Potts <sam@potts.es>
Date: Fri, 29 Jan 2021 23:16:33 +1100
Subject: [PATCH] Delete prevent-base-master.sh

---
 .travis/prevent-base-master.sh | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100755 .travis/prevent-base-master.sh

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