diff --git a/.ci/deploy-docs.sh b/.ci/deploy-docs.sh index b644dfe14..ecc94fb8c 100755 --- a/.ci/deploy-docs.sh +++ b/.ci/deploy-docs.sh @@ -29,7 +29,7 @@ git reset upstream/main touch . git add -A . -if [[ $(git status -s) ]]; then +#if [[ $(git status -s) ]]; then git commit -m "Rebuild docs for https://github.com/harfbuzz/harfbuzz/commit/$REVISION" git push -q upstream HEAD:main -fi +#fi