From 74ee50159da688996a0d67e2bd8e18bfa2f0fe78 Mon Sep 17 00:00:00 2001 From: Tobias Gruetzmacher Date: Thu, 5 Dec 2019 21:35:31 +0100 Subject: [PATCH] Don't fail website deployment if nothing changed --- .github/deploy.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/deploy.sh b/.github/deploy.sh index b910137cc..496d99eb3 100755 --- a/.github/deploy.sh +++ b/.github/deploy.sh @@ -34,7 +34,7 @@ git config push.default simple git add -A . if [ "$TRAVIS_COMMIT" ] then - git commit -a -m "Update website from commit $TRAVIS_COMMIT" + git commit -a -m "Update website from commit $TRAVIS_COMMIT" || true git push origin HEAD:gh-pages fi