#!/bin/bash set -e if [[ "${SHOULD_BUILD}" != "yes" ]]; then echo "Will not update version JSON because we did not build" exit fi if [[ -z "${GITHUB_TOKEN}" ]]; then echo "Will not update insider.json because no GITHUB_TOKEN defined" exit fi echo "$( cat "insider.json" | jq --arg 'tag' "${MS_TAG/\-insider/}" --arg 'commit' "${MS_COMMIT}" '. | .tag=$tag | .commit=$commit' )" > "insider.json" git config user.email "$( echo "${GITHUB_USERNAME}" | awk '{print tolower($0)}' )-ci@not-real.com" git config user.name "${GITHUB_USERNAME} CI" git add . CHANGES=$( git status --porcelain ) if [[ ! -z "${CHANGES}" ]]; then git commit -m "build(insider): update to commit ${MS_COMMIT:0:7}" if ! git push origin insider --quiet; then git pull origin insider git push origin insider --quiet fi fi