Use deploy key instead of secret token.

.travis.yml

@@ -6,6 +6,7 @@ env:
   global:
   - secure: kPOwvkCDLpwJneCPeKUxbEZSsPWPpOpIK2wKf5Fm2BqJlUm+Wm8g5GZy1WHjo/IdNyb5mDIJzxWcr/uYDykehkNR1tRVrzUfRCVWqOFXGeI5P9e0zBaXp/GW3kfKivWNhpec8WSu9ZPjQhsRfDCjKRCHAB3JzwDWF8Kfl9UeBicFXQVRo+9zo3okRLsuJsEP/0MEtN0GxdsfKDleSW28AZLxu7raoJHHFY1t3QxMoYDd5312Pz7smv1/l4RG/P6XZZrtWEeVwctrNbU0CBO8tX8nqUCHA0bWyOW+crf4/NZZGg9e1RUq8eDbVUd7iGq81nr0+F7IvvwbvSLmpU2/b9hbcF4i4MpIE1Yy/0+zUhuTj1Yy8tw/irc8Y6Nc/g25BJBSCrfdPQnnbAESUv2ywbHC8vBztLca1xBQbQ+q0N0YYUK/mgxUiOznwTQ3PRIs/SENSdhFufT9pCRBp+lvkY+DVHSt6ogPYdRmyF/KPdcDWu5GqKrUs4KyroAzMLX/brw9+TjASnjTipnUWSlTQpoXjf1aQQuescqZMAbxEZH5ed6YvyPehdDqB8bpkeZ9OUkP8pV1kndSnnUsDH7Kn7ZyYUI20FNsU8Yqp1v94jOfrz2np2N9mJUT3teDy8k4yIxTERYSfbBcn4X30YX8fwRk/8skHRtgU4VOpUnIjkw=
 script:
+- sh travis-auto-deploy.sh
 - npm install grunt grunt-cli grunt-contrib-clean grunt-regex-replace
 - PATH="$PWD/node_modules/grunt-cli/bin:$PATH" grunt racket-mini
 - git config --global user.name "Travis CI"

travis-auto-deploy.sh

@@ -0,0 +1,38 @@
+#!/bin/sh
+set -e
+set -x
+if test "$(git config remote.origin.url)" != "https://github.com/jsmaniac/phc-thesis.git"
+  echo "Not on official repo, will not deploy gh-pages."
+elif test "$TRAVIS_PULL_REQUEST" != "false"; then
+  echo "This is a Pull Request, will not deploy gh-pages."
+elif test "$TRAVIS_BRANCH" = "master"; then
+  echo "Not on master branch, will not deploy gh-pages."
+elif test -z "${encrypted_1b66487e02e5_key:-}" -o -z "${encrypted_1b66487e02e5_iv:-}"; then
+  echo "Travis CI secure environment variables are unavailable, will not deploy gh-pages."
+else
+  echo "Automatic push to gh-pages"
+
+  # Git configuration:
+  git config --global user.name "$(git log --format="%aN" HEAD -1) (Travis CI automatic commit)"
+  git config --global user.email "(git log --format="%aE" HEAD -1)"
+
+  # SSH configuration
+  if openssl aes-256-cbc -K $encrypted_675a73236f08_key -iv $encrypted_675a73236f08_iv -in travis-deploy-key-id_rsa.enc -out travis-deploy-key-id_rsa -d >/dev/null 2>&1; then
+    echo "Dectypred key successfully."
+  else
+    echo "Error while decrypting key."
+  fi
+  chmod 600 travis-deploy-key-id_rsa
+  eval `ssh-agent -s`
+  ssh-add travis-deploy-key-id_rsa
+
+
+  npm install grunt grunt-cli grunt-contrib-clean grunt-regex-replace
+  PATH="$PWD/node_modules/grunt-cli/bin:$PATH" grunt racket-mini
+  git add -A . &> /dev/null
+  git rm -f .gitignore || true
+  git rm -f Gruntfile.js || true
+  git commit -m "auto-commit" &>/dev/null
+  git log --oneline --decorate --graph -10
+  git push --force --quiet "https://git@github.com/jsmaniac/scribble-mathjax.git" HEAD:refs/heads/v2.6-racket-mini > /dev/null 2>&1
+fi