diff options
Diffstat (limited to 'tools/travis-push.sh')
| -rwxr-xr-x | tools/travis-push.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/travis-push.sh b/tools/travis-push.sh index e7aef3b..8aa02c0 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' +git commit -a -m 'Update versions.json' || true git push origin HEAD:master git push origin HEAD:gh-pages |