| Joel Galenson | 891d7cd | 2020-07-28 13:45:57 -0700 | [diff] [blame] | 1 | #!/bin/bash |
| 2 | |||||
| 3 | set -o errexit -o nounset | ||||
| 4 | |||||
| 5 | rev=$(git rev-parse --short HEAD) | ||||
| 6 | |||||
| 7 | cd target/doc | ||||
| 8 | |||||
| 9 | git init | ||||
| 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 | ||||
| 15 | |||||
| 16 | touch . | ||||
| 17 | |||||
| 18 | git add -A . | ||||
| 19 | git commit -m "rebuild pages at ${rev}" | ||||
| 20 | git push -q upstream HEAD:gh-pages | ||||