2023-07-20 14:25:13 -04:00
|
|
|
#!/usr/bin/env bash
|
2022-08-29 09:13:25 -04:00
|
|
|
|
2022-08-30 09:49:59 -04:00
|
|
|
set -e
|
2022-08-29 09:13:25 -04:00
|
|
|
|
|
|
|
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
|
|
|
|
|
2023-07-20 14:25:13 -04:00
|
|
|
jsonTmp=$( jq --arg 'tag' "${MS_TAG/\-insider/}" --arg 'commit' "${MS_COMMIT}" '. "insider.json" | .tag=$tag | .commit=$commit' )
|
|
|
|
echo "${jsonTmp}" > "insider.json" && unset jsonTmp
|
2022-08-30 09:17:00 -04:00
|
|
|
|
2022-10-06 16:15:41 -04:00
|
|
|
git config user.email "$( echo "${GITHUB_USERNAME}" | awk '{print tolower($0)}' )-ci@not-real.com"
|
|
|
|
git config user.name "${GITHUB_USERNAME} CI"
|
2022-08-29 09:13:25 -04:00
|
|
|
git add .
|
|
|
|
|
|
|
|
CHANGES=$( git status --porcelain )
|
|
|
|
|
2023-07-20 14:25:13 -04:00
|
|
|
if [[ -n "${CHANGES}" ]]; then
|
2022-08-29 09:13:25 -04:00
|
|
|
git commit -m "build(insider): update to commit ${MS_COMMIT:0:7}"
|
2022-08-30 09:17:00 -04:00
|
|
|
|
2022-08-30 09:01:09 -04:00
|
|
|
if ! git push origin insider --quiet; then
|
|
|
|
git pull origin insider
|
|
|
|
git push origin insider --quiet
|
2022-08-29 09:13:25 -04:00
|
|
|
fi
|
|
|
|
fi
|