diff --git a/.ci/deploy-docs.sh b/.ci/deploy-docs.sh index ecc94fb8c..b644dfe14 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