deploy.sh

#!/bin/bash
set -e # exit with nonzero exit code if anything fails

#clear any directories that build scripts create
rm -rf dist || exit 0

#build scripts
./build.sh

#got to build directory and init a new repo
cd dist
git init

# inside this git repo we'll pretend to be a new user
git config --global user.name "Travis CI"
git config --global user.email "aschmitt@berkeley.edu"

# The first and only commit to this new Git repo contains all the
# files present with the commit message "Deploy to GitHub Pages".
time=$(date +"%r")
git add .
git commit -m "[ci skip] Deploy via Travis CI at: ${time} (Travis Instance Time)"

# Force push from the current repo's master branch to the remote
# repo's gh-pages branch. (All previous history on the gh-pages branch
# will be lost, since we are overwriting it.) We redirect any output to
# /dev/null to hide any sensitive credential data that might otherwise be exposed.
git push --force "https://${DEPLOY_TOKEN}@${GH_REF}" master > /dev/null 2>&1