update_insider.sh 694 B

12345678910111213141516171819202122232425262728
  1. #!/bin/bash
  2. set -e
  3. if [[ "${SHOULD_BUILD}" != "yes" ]]; then
  4. echo "Will not update version JSON because we did not build"
  5. exit
  6. fi
  7. if [[ -z "${GITHUB_TOKEN}" ]]; then
  8. echo "Will not update insider.json because no GITHUB_TOKEN defined"
  9. exit
  10. fi
  11. echo "$( cat "insider.json" | jq --arg 'tag' "${MS_TAG}" --arg 'commit' "${MS_COMMIT}" '. | .tag=$tag | .commit=$commit' )" > "insider.json"
  12. git config user.name "VSCodium CI"
  13. git add .
  14. CHANGES=$( git status --porcelain )
  15. if [[ ! -z "${CHANGES}" ]]; then
  16. git commit -m "build(insider): update to commit ${MS_COMMIT:0:7}"
  17. if ! git push origin master --quiet; then
  18. git pull origin master
  19. git push origin master --quiet
  20. fi
  21. fi