diff options
Diffstat (limited to '.ci/deploy-docs.sh')
| -rwxr-xr-x | .ci/deploy-docs.sh | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/.ci/deploy-docs.sh b/.ci/deploy-docs.sh index b644dfe14..2b3f9f232 100755 --- a/.ci/deploy-docs.sh +++ b/.ci/deploy-docs.sh @@ -3,8 +3,6 @@ set -x set -o errexit -o nounset -TAG="$(git describe --exact-match --match "[0-9]*" HEAD 2>/dev/null || true)" - DOCSDIR=build-docs REVISION=$(git rev-parse --short HEAD) @@ -17,8 +15,8 @@ cp ../build/docs/html/* . git init git branch -m main -git config user.name "Travis CI" -git config user.email "travis@harfbuzz.org" +git config user.name "CI" +git config user.email "harfbuzz-admin@googlegroups.com" set +x 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" |