Change git auth

Author: twizmwazin

.github/workflows/angr-release.yml

@@ -166,13 +166,15 @@ jobs:
         run: release-scripts/publish_release_commits.sh
         env:
           DRY_RUN: ${{ github.event_name != 'schedule' && github.event.inputs.dry_run == false }}
-          GH_TOKEN: ${{ secrets.GH_TOKEN }}
+          GIT_USERNAME: ${{ secrets.RELEASE_USER }}
+          GIT_PASSWORD: ${{ secrets.RELEASE_TOKEN }}
 
       - name: Bump versions on master
         run: release-scripts/bump_versions.sh
         env:
           DRY_RUN: ${{ github.event_name != 'schedule' && github.event.inputs.dry_run == false }}
-          GH_TOKEN: ${{ secrets.GH_TOKEN }}
+          GIT_USERNAME: ${{ secrets.RELEASE_USER }}
+          GIT_PASSWORD: ${{ secrets.RELEASE_TOKEN }}
 
       # PyPI artifacts
       - name: Create artifacts and dist directories

release-scripts/bump_versions.sh

@@ -43,6 +43,7 @@ for i in $(ls $CHECKOUT_DIR); do
 
     # Push
     if [ "$DRY_RUN" == "false" ]; then
+        git remote set-url origin $(git remote get-url origin | sed "s#https://#https://$GIT_USERNAME:$GIT_PASSWORD@#")
         git push
         push_successful=$?
         if [ $push_successful -ne 0 ]; then

release-scripts/publish_release_commits.sh

@@ -5,6 +5,7 @@ source "$(dirname "$0")/vars.sh"
 
 for i in $(ls $CHECKOUT_DIR); do
     ref_to_push=$(git -C $CHECKOUT_DIR/$i describe --tags | head -n 1)
+    git -C $CHECKOUT_DIR/$i remote set-url origin $(git -C $CHECKOUT_DIR/$i remote get-url origin | sed "s#https://#https://$GIT_USERNAME:$GIT_PASSWORD@#")
     if [ "$DRY_RUN" == "false" ]; then
         git -C $CHECKOUT_DIR/$i push origin "$ref_to_push"
     fi