Merge pull request #56 from emersonveenstra/weird-nbsp

[irc/freenode/web-7.0.git] / deploy.sh

diff --git a/deploy.sh b/deploy.sh
index 77724e286ab72f848782abcf69fc3fe222b84c81..e35bdcf52abf6a75aa3a17a4cebddda13d1a415d 100755 (executable)
--- a/deploy.sh
+++ b/deploy.sh
@@ -1,7 +1,8 @@
 #!/bin/sh
 
 if [ -z "$TRAVIS_BRANCH" ]; then exit; fi
-if [ ! "$TRAVIS_BRANCH" = master ]; then exit; fi
+if [ "$TRAVIS_BRANCH" != master ]; then exit; fi
+if [ "$TRAVIS_PULL_REQUEST" != false ]; then exit; fi
 
 export SSH_KEYFILE="$(readlink -f .deploy-key)"
 export GIT_SSH="$(readlink -f ssh.sh)"
@@ -11,7 +12,6 @@ git config user.name travis
 git config user.email travis@nowhere
 rm -rf *
 cp -r ../out/* .
-cp -r ../static .
 git add -A
 git commit -m "travis: $TRAVIS_COMMIT"
 git push || exit 1