Parker2991/vscodium
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

ci(spearhead): add more details [skip ci]

Browse source
This commit is contained in:
Baptiste Augrain 2022-08-30 15:17:00 +02:00
parent e7e2de16ce
commit fa4b4caf59
1 changed files with 8 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
update_insider.sh
View file

@ -1,6 +1,6 @@
#!/bin/bash #!/bin/bash
set -e set -ex
if [[ "${SHOULD_BUILD}" != "yes" ]]; then if [[ "${SHOULD_BUILD}" != "yes" ]]; then
echo "Will not update version JSON because we did not build" echo "Will not update version JSON because we did not build"
@ -14,14 +14,19 @@ fi
echo "$( cat "insider.json" | jq --arg 'tag' "${MS_TAG}" --arg 'commit' "${MS_COMMIT}" '. | .tag=$tag | .commit=$commit' )" > "insider.json" echo "$( cat "insider.json" | jq --arg 'tag' "${MS_TAG}" --arg 'commit' "${MS_COMMIT}" '. | .tag=$tag | .commit=$commit' )" > "insider.json"
git config user.email "vscodium-ci@not-real.com" git status
git config user.name "VSCodium CI"
git config --global user.email "vscodium-ci@not-real.com"
git config --global user.name "VSCodium CI"
git add . git add .
CHANGES=$( git status --porcelain ) CHANGES=$( git status --porcelain )
if [[ ! -z "${CHANGES}" ]]; then if [[ ! -z "${CHANGES}" ]]; then
git commit -m "build(insider): update to commit ${MS_COMMIT:0:7}" git commit -m "build(insider): update to commit ${MS_COMMIT:0:7}"
git status
if ! git push origin insider --quiet; then if ! git push origin insider --quiet; then
git pull origin insider git pull origin insider
git push origin insider --quiet git push origin insider --quiet