chore(frontend): use token for push (#89)

* chore(frontend): use token for push * chore(frontend): use REPO variable for repository name
vaadin · Sep 3, 2021 · e87cc24 · e87cc24
1 parent 30b68b4
commit e87cc24
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/frontend/scripts/bump.sh b/frontend/scripts/bump.sh
@@ -23,6 +23,6 @@ remapped=$(node scripts/protection-remap.js "$protection_config")
 
 ghr -X PUT -d "$(echo "$remapped" | sed '$s/"enforce_admins":true/"enforce_admins":false/')" > /dev/null
 
-git push origin HEAD:$branch
+git push https://vaadin-bot:"$GITHUB_TOKEN"@github.com/"$REPO".git HEAD:$branch
 
 ghr -X PUT -d "$remapped" > /dev/null