diff options
| author | Jack Humbert <jack.humb@gmail.com> | 2017-02-16 10:06:02 -0500 |
|---|---|---|
| committer | Jack Humbert <jack.humb@gmail.com> | 2017-02-16 10:06:02 -0500 |
| commit | 15dc540cac293b6f2e1433b701408c89e72c52ec (patch) | |
| tree | 0b352848656c3b7424422d52246712bb08289eb7 /util/travis_compiled_push.sh | |
| parent | e34c3936b7db8f9d39f1eb0d0f4734fc37d7ebe3 (diff) | |
| download | qmk_firmware-15dc540cac293b6f2e1433b701408c89e72c52ec.tar.gz qmk_firmware-15dc540cac293b6f2e1433b701408c89e72c52ec.zip | |
ignore PRs in versioning
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 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) | |||
| 7 | git config --global user.name "Travis CI" | 7 | git config --global user.name "Travis CI" |
| 8 | git config --global user.email "jack.humb+travis.ci@gmail.com" | 8 | git config --global user.email "jack.humb+travis.ci@gmail.com" |
| 9 | 9 | ||
| 10 | if [[ "$TRAVIS_BRANCH" == "master" ]] ; then | 10 | if [[ "$TRAVIS_BRANCH" == "master" ]] && [[ "$TRAVIS_PULL_REQUEST" == "false"]] ; then |
| 11 | 11 | ||
| 12 | increment_version () | 12 | increment_version () |
| 13 | { | 13 | { |