3 if [ -z "$TRAVIS_BRANCH" ]; then exit; fi
4 if [ "$TRAVIS_BRANCH" != master
]; then exit; fi
5 if [ "$TRAVIS_PULL_REQUEST" != false
]; then exit; fi
7 export SSH_KEYFILE
="$(readlink -f .deploy-key)"
8 export GIT_SSH
="$(readlink -f ssh.sh)"
9 git clone
-b gh
-pages git@github.com
:freenode
/web
-7.0.git .deploy
|| exit 1
11 git config user.name travis
12 git config user.email travis@nowhere
16 git commit
-m "travis: $TRAVIS_COMMIT"