chore: use no username

decentralized-identity · Apr 10, 2024 · 140dd16 · 140dd16
1 parent 54761d6
commit 140dd16
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build-test-on-pr.yml b/.github/workflows/build-test-on-pr.yml
@@ -15,7 +15,7 @@ jobs:
         run: |
           echo user: ${{secrets.GH_USER}}
           echo token: ${{secrets.GITHUB_TOKEN}}
-          git remote set-url origin https://${{secrets.GH_USER}}:${{secrets.GITHUB_TOKEN}}@github.com/decentralized-identity/agent-explorer.git
+          git remote set-url origin https://${{secrets.GITHUB_TOKEN}}@github.com/decentralized-identity/agent-explorer.git
           git config user.name $GH_USER
           git config user.email $GH_EMAIL