3 set -o errexit
-o nounset
5 rev=$
(git rev-parse
--short HEAD
)
10 git config user.email
'FlashCat@users.noreply.github.com'
11 git config user.name
'FlashCat'
12 git remote add upstream
"https://${GH_TOKEN}@github.com/${TRAVIS_REPO_SLUG}.git"
13 git fetch upstream gh-pages
14 git
reset upstream
/gh-pages
19 git commit
-m "rebuild pages at ${rev}"
20 git push
-q upstream HEAD
:gh-pages