Merge branch 'master' of https://github.com/freenode/web-7.0.git

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

diff --git a/deploy.sh b/deploy.sh
index e73b0e43120b6711b44126bfe2841b6bb5eb2f87..77724e286ab72f848782abcf69fc3fe222b84c81 100755 (executable)
--- a/deploy.sh
+++ b/deploy.sh
@@ -5,8 +5,8 @@ if [ ! "$TRAVIS_BRANCH" = master ]; then exit; fi
 
 export SSH_KEYFILE="$(readlink -f .deploy-key)"
 export GIT_SSH="$(readlink -f ssh.sh)"
-git clone -b gh-pages git@github.com:freenode/web-7.0.git .deploy
-cd .deploy
+git clone -b gh-pages git@github.com:freenode/web-7.0.git .deploy || exit 1
+cd .deploy || exit 1
 git config user.name travis
 git config user.email travis@nowhere
 rm -rf *
@@ -14,4 +14,4 @@ cp -r ../out/* .
 cp -r ../static .
 git add -A
 git commit -m "travis: $TRAVIS_COMMIT"
-git push
+git push || exit 1