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