Lines Matching +full:- +full:- +full:set +full:- +full:upstream

3 set -x
4 set -o errexit -o nounset
6 DOCSDIR=build-docs
7 REVISION=$(git rev-parse --short HEAD)
9 rm -rf $DOCSDIR || exit
17 git branch -m main
19 git config user.email "harfbuzz-admin@googlegroups.com"
20 set +x
21 echo "git remote add upstream \"https://\$GH_TOKEN@github.com/harfbuzz/harfbuzz.github.io.git\""
22 git remote add upstream "https://$GH_TOKEN@github.com/harfbuzz/harfbuzz.github.io.git"
23 set -x
24 git fetch upstream
25 git reset upstream/main
28 git add -A .
30 if [[ $(git status -s) ]]; then
31   git commit -m "Rebuild docs for https://github.com/harfbuzz/harfbuzz/commit/$REVISION"
32   git push -q upstream HEAD:main