3 if [ ! -f deploy
/key1
]; then exit; fi
4 if [ -z "$TRAVIS_BRANCH" ]; then exit; fi
6 BRANCH_DIR
="$TRAVIS_BRANCH"
8 if [ "$TRAVIS_PULL_REQUEST" != false
]; then
9 if [ "$TRAVIS_BRANCH" != master
]; then exit; fi
11 BRANCH_DIR
="pull-$TRAVIS_PULL_REQUEST"
14 export SSH_KEYFILE
="$(readlink -f deploy/key1)"
15 export GIT_SSH
="$(readlink -f deploy/ssh.sh)"
16 git clone
-b gh
-pages git@github.com
:freenode
/web
-7.0.git .deploy
|| exit 1
18 git config user.name travis
19 git config user.email travis@nowhere
20 git
rm -r "$BRANCH_DIR/*"
21 mkdir -p "$BRANCH_DIR"
22 cd "$BRANCH_DIR" || exit 1
25 git commit
-m "travis: $TRAVIS_COMMIT"
29 if [ "$TRAVIS_BRANCH" = master
-a "$TRAVIS_PULL_REQUEST" = false
]; then
31 export SSH_KEYFILE
="$(readlink -f deploy/key2)"
32 export GIT_SSH
="$(readlink -f deploy/ssh.sh)"
33 git clone git@github.com
:freenode
/freenode.github.io.git .deploy
|| exit 1
35 git config user.name travis
36 git config user.email travis@nowhere
37 git
ls-files -z | grep -vzZE '^(README.md|LICENSE|CNAME)$' | xargs -0 rm -f
40 git commit
-m "travis: $TRAVIS_COMMIT"