From: Jack Humbert <jack.humb@gmail.com>
Date: Thu, 16 Feb 2017 15:06:02 +0000 (-0500)
Subject: ignore PRs in versioning
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=15dc540cac293b6f2e1433b701408c89e72c52ec;p=qmk_firmware.git

ignore PRs in versioning
---

diff --git a/util/travis_compiled_push.sh b/util/travis_compiled_push.sh
index de2481ce5..582c45ff7 100644
--- a/util/travis_compiled_push.sh
+++ b/util/travis_compiled_push.sh
@@ -7,7 +7,7 @@ rev=$(git rev-parse --short HEAD)
 git config --global user.name "Travis CI"
 git config --global user.email "jack.humb+travis.ci@gmail.com"
 
-if [[ "$TRAVIS_BRANCH" == "master" ]] ; then
+if [[ "$TRAVIS_BRANCH" == "master" ]] && [[ "$TRAVIS_PULL_REQUEST" == "false"]] ; then
 
 increment_version ()
 {