| commit | 09a2eb65d782c1e6bba5ebb5027eaf84c40fc31a | [log] [tgz] |
|---|---|---|
| author | Khaled Hosny <khaled@aliftype.com> | Mon Jun 07 10:52:27 2021 +0200 |
| committer | Khaled Hosny <khaled@aliftype.com> | Mon Jun 07 10:52:27 2021 +0200 |
| tree | b39a65ac5b5a0270761e847d5f80b36b7afa5f4e | |
| parent | 6612fd39ae6f84446dad1b0507417d6febf22fa0 [diff] [blame] |
Revert "Temporarily always push the docs commit" This reverts commit 6612fd39ae6f84446dad1b0507417d6febf22fa0.
diff --git a/.ci/deploy-docs.sh b/.ci/deploy-docs.sh index ecc94fb..b644dfe 100755 --- a/.ci/deploy-docs.sh +++ b/.ci/deploy-docs.sh
@@ -29,7 +29,7 @@ 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