#!/bin/bash -x

git config user.name ${GIT_NAME}
git config user.email ${GIT_EMAIL}

GH_SOURCE="https://${GIT_NAME}:${GH_TOKEN}@${GIT_REPO}"

git remote rm origin
git remote add origin ${GH_SOURCE}

git add version
git commit -m "Travis build"
git push --force --quiet ${GH_SOURCE} ${GIT_BRANCH}