Revert "Temporarily always push the docs commit"

This reverts commit 6612fd39ae.
2021-06-07 10:52:27 +02:00 · 2021-06-07 10:52:27 +02:00 · 09a2eb65d7
parent 6612fd39ae
commit 09a2eb65d7
1 changed files with 2 additions and 2 deletions
--- 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