Don't fail website deployment if nothing changed

This commit is contained in:
Tobias Gruetzmacher 2019-12-05 21:35:31 +01:00
parent 4511bab996
commit 74ee50159d

2
.github/deploy.sh vendored
View file

@ -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