From 09a2eb65d782c1e6bba5ebb5027eaf84c40fc31a Mon Sep 17 00:00:00 2001 From: Khaled Hosny Date: Mon, 7 Jun 2021 10:52:27 +0200 Subject: [PATCH] Revert "Temporarily always push the docs commit" This reverts commit 6612fd39ae6f84446dad1b0507417d6febf22fa0. --- .ci/deploy-docs.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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