| #!/bin/bash | |
| set -o errexit -o nounset | |
| rev=$(git rev-parse --short HEAD) | |
| cd target/doc | |
| git init | |
| git 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-pages | |
| git reset upstream/gh-pages | |
| touch . | |
| git add -A . | |
| git commit -m "rebuild pages at ${rev}" | |
| git push -q upstream HEAD:gh-pages |