#!/bin/bashset -o errexit -o nounsetrev=$(git rev-parse --short HEAD)cd target/docgit initgit config user.email 'FlashCat@users.noreply.github.com'git config user.name 'FlashCat'git remote add upstream "https://${GH_TOKEN}@github.com/${TRAVIS_REPO_SLUG}.git"git fetch upstream gh-pagesgit reset upstream/gh-pagestouch .git add -A .git commit -m "rebuild pages at ${rev}"git push -q upstream HEAD:gh-pages