deploy_site.sh

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

# clear and re-create the out directory
if [[ $TRAVIS_BRANCH == 'master' ]]
then
	rm -rf ~/out || exit 0;
	# run our compile script, discussed above
	mvn site

	# go to the out directory and create a *new* Git repo
	mv target/site ~/out
	cd ~/out
	git init

	# inside this git repo we'll pretend to be a new user
	git config user.name "Travis CI"
	git config user.email "maximilian.noethe@tu-dortmund.de"

	# The first and only commit to this new Git repo contains all the
	# files present with the commit message "Deploy to GitHub Pages".
	git add .
	git commit -m "Deploy to GitHub Pages"

	# 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 --quiet "https://${GH_TOKEN}@${GH_REF}" master:gh-pages > /dev/null 2>&1
else
	echo "NOT ON MASTER BRANCH, WILL NOT DEPLOY SITE"
fi