From d57e5c58c8cbb37e810be438c11fb681321de35f Mon Sep 17 00:00:00 2001 From: Boris Nagaev Date: Tue, 13 Oct 2015 12:36:23 +0300 Subject: [PATCH] travis-push: make sure "git commit" succeeded --- tools/travis-push.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/travis-push.sh b/tools/travis-push.sh index 8aa02c06..e7aef3b3 100755 --- 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