| set -o errexit -o nounset |
| REVISION=$(git rev-parse --short HEAD) |
| cp ../build/docs/html/* . |
| #cp ../build/docs/CNAME . |
| git config user.name "CI" |
| git config user.email "harfbuzz-admin@googlegroups.com" |
| echo "git remote add upstream \"https://\$GH_TOKEN@github.com/harfbuzz/harfbuzz.github.io.git\"" |
| git remote add upstream "https://$GH_TOKEN@github.com/harfbuzz/harfbuzz.github.io.git" |
| if [[ $(git status -s) ]]; then |
| git commit -m "Rebuild docs for https://github.com/harfbuzz/harfbuzz/commit/$REVISION" |
| git push -q upstream HEAD:main |