travis-push: make sure "git commit" succeeded

9 years ago · d57e5c58c8
parent d64c26e6f2
commit d57e5c58c8
1 changed files with 1 additions and 1 deletions
--- a/tools/travis-push.sh
+++ b/tools/travis-push.sh
@ -8,6 +8,6 @@ git config --global push.default simple
 git config credential.helper "store --file=.git/credentials"
 echo "https://${GH_TOKEN}:@github.com" > .git/credentials
 git remote set-url origin 'https://github.com/mxe/mxe.git'
-git commit -a -m 'Update versions.json' || true
+git commit -a -m 'Update versions.json'
 git push origin HEAD:master
 git push origin HEAD:gh-pages