diff options
author | milestogo <milestogo@users.noreply.github.com> | 2017-03-08 15:50:46 -0800 |
---|---|---|
committer | milestogo <milestogo@users.noreply.github.com> | 2017-03-08 15:50:46 -0800 |
commit | ffb04bad660ba7c487e4b923e4391b6c7dd5eddd (patch) | |
tree | de8446b9b4d62611b7ff7c99394cbdb73ffe558e /util/travis_compiled_push.sh | |
parent | 1622d7147b1647a7e0da47386c919a5a95cd1a29 (diff) | |
parent | bfa7e6ce04624f624cb8925cd5b5490801ced738 (diff) |
Merge branch 'master' of https://github.com/jackhumbert/qmk_firmware
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 () { |