From 6612fd39ae6f84446dad1b0507417d6febf22fa0 Mon Sep 17 00:00:00 2001 From: Khaled Hosny Date: Mon, 7 Jun 2021 10:36:02 +0200 Subject: [PATCH] Temporarily always push the docs commit --- .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 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