From 045ef7a2146c3ba30689081fa225968f6e776ba3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sandro=20J=C3=A4ckel?= <sandro.jaeckel@gmail.com>
Date: Thu, 16 May 2019 20:19:36 +0200
Subject: [PATCH] Skip docker push if it is a PR

---
 build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index ed9d422..e78691d 100755
--- a/build.sh
+++ b/build.sh
@@ -29,7 +29,7 @@ fi
 docker build . -t $DOCKER_REPO:$TAG
 
 docker images
-if [[ "$(dirname "$(git diff --name-only HEAD^)")" =~ $VERSION_SHORT ]] && [ "$TRAVIS_BRANCH" == "master" ]; then
+if [[ "$(dirname "$(git diff --name-only HEAD^)")" =~ $VERSION_SHORT ]] && [ "$TRAVIS_BRANCH" == "master" ] && [ "$TRAVIS_PULL_REQUEST_BRANCH" == "" ]; then
   echo "$DOCKER_PASSWORD" | docker login -u "$DOCKER_USERNAME" --password-stdin
   docker push "$DOCKER_REPO:latest"