Update git push to use full username (#2732)

This worked better in my local testing
grpc-ecosystem · Jun 1, 2022 · 29e98e4 · 29e98e4
1 parent 4a3290c
commit 29e98e4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/renovate.yml b/.github/workflows/renovate.yml
@@ -39,7 +39,7 @@ jobs:
           if output=$(git status --porcelain) && [ ! -z "$output" ]; then
             git config user.name "Renovate Bot"
             git config user.email "bot@renovateapp.com"
-            git remote set-url origin https://x-access-token:${{ secrets.GH_PUSH_TOKEN }}@github.com/grpc-ecosystem/grpc-gateway.git
+            git remote set-url origin https://${{ secrets.GH_PUSH_USER }}:${{ secrets.GH_PUSH_TOKEN }}@github.com/grpc-ecosystem/grpc-gateway.git
             git commit --amend --no-edit
             git push --force-with-lease origin ${{ github.ref_name }}
           fi
@@ -66,7 +66,7 @@ jobs:
           if output=$(git status --porcelain) && [ ! -z "$output" ]; then
             git config user.name "Renovate Bot"
             git config user.email "bot@renovateapp.com"
-            git remote set-url origin https://x-access-token:${{ secrets.GH_PUSH_TOKEN }}@github.com/grpc-ecosystem/grpc-gateway.git
+            git remote set-url origin https://${{ secrets.GH_PUSH_USER }}:${{ secrets.GH_PUSH_TOKEN }}@github.com/grpc-ecosystem/grpc-gateway.git
             git commit --amend --no-edit
             git push --force-with-lease origin ${{ github.ref_name }}
           fi