diff options
author | Ole Anders <git@swoy.org> | 2017-03-28 15:55:33 +0200 |
---|---|---|
committer | Ole Anders <git@swoy.org> | 2017-03-28 15:55:33 +0200 |
commit | 62faa20ef6ddab7dacc74123b2253cf25b5c20f7 (patch) | |
tree | 281ae30283f7491b2529465da4897dc2ddd7088c /util/travis_compiled_push.sh | |
parent | d5ee0194abf5cc9df4086a89ad78cf188352028a (diff) | |
parent | 5e4daf1c6db980fad269fe7b013205008bfe701e (diff) |
Merge remote-tracking branch 'refs/remotes/qmk/master'
Diffstat (limited to 'util/travis_compiled_push.sh')
-rw-r--r-- | util/travis_compiled_push.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/travis_compiled_push.sh b/util/travis_compiled_push.sh index de2481ce54..58334cb1f6 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 () { |