From 6bf5e8e7e62620501b068230f398db1e9219f1b8 Mon Sep 17 00:00:00 2001 From: Ebrahim Byagowi Date: Thu, 4 Jun 2020 04:03:14 +0430 Subject: [PATCH] [ci] Deploy only when there is something to push Apparently the previous version of gtk-doc was doing weird changes like https://github.com/harfbuzz/harfbuzz.github.io/commit/1b40da99bbd1985d060d273ef37f1ccad16913c4 and https://github.com/harfbuzz/harfbuzz.github.io/commit/d1d9bff14c805d1bcbd2446a4c22e633e8d365cf in order to make every to have something for pushing and now that we don't have such changes it will fail. Alternatively we can go for `git commit --allow-empty`, guess better to pollute history of https://github.com/harfbuzz/harfbuzz.github.io however. --- .ci/deploy-docs.sh | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/.ci/deploy-docs.sh b/.ci/deploy-docs.sh index 2209bf7b7..854ca2354 100755 --- a/.ci/deploy-docs.sh +++ b/.ci/deploy-docs.sh @@ -27,5 +27,8 @@ git reset upstream/master touch . git add -A . -git commit -m "Rebuild docs for https://github.com/harfbuzz/harfbuzz/commit/$REVISION" -git push -q upstream HEAD:master + +if [[ $(git status -s) ]]; then + git commit -m "Rebuild docs for https://github.com/harfbuzz/harfbuzz/commit/$REVISION" + git push -q upstream HEAD:master +fi