From e7e2de16cefb314d670a0ec7adf30bccf69f125b Mon Sep 17 00:00:00 2001 From: Baptiste Augrain Date: Tue, 30 Aug 2022 15:01:09 +0200 Subject: [PATCH] ci(spearhead): push to correct branch [skip ci] --- update_insider.sh | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/update_insider.sh b/update_insider.sh index 75e8d38..1204271 100755 --- a/update_insider.sh +++ b/update_insider.sh @@ -14,6 +14,7 @@ fi 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 config user.name "VSCodium CI" git add . @@ -21,8 +22,8 @@ CHANGES=$( git status --porcelain ) if [[ ! -z "${CHANGES}" ]]; then git commit -m "build(insider): update to commit ${MS_COMMIT:0:7}" - if ! git push origin master --quiet; then - git pull origin master - git push origin master --quiet + if ! git push origin insider --quiet; then + git pull origin insider + git push origin insider --quiet fi fi