misc: try another approach to setup Git credentials

.github/workflows/risc0-check.yml

@@ -16,7 +16,6 @@ env:
   CARGO_INCREMENTAL: 0
   CARGO_PROFILE_DEV_DEBUG: 1
   CARGO_PROFILE_RELEASE_DEBUG: 1
-  CARGO_NET_GIT_FETCH_WITH_CLI: true
   CARGO_NET_RETRY: 10
   RUSTUP_MAX_RETRIES: 10
   RISC0_DEV_MODE: 1
@@ -25,10 +24,10 @@ jobs:
   risc0-check:
     runs-on: ubuntu-latest
     steps:
-      - uses: webfactory/[email protected]
-        with:
-          ssh-private-key: ${{ secrets.SOVEREIGN_DEPLOY_KEY }}
       - uses: actions/checkout@v3
+      - name: Set up Git credentials
+        run:
+          git config --global --replace-all "url.https://${{ secrets.AUTH_TOKEN }}@github.com.insteadOf" ssh://[email protected]
       - name: Cache dependencies
         uses: Swatinem/rust-cache@v2
       - name: Install cargo-risc0

.github/workflows/rust.yml

@@ -23,7 +23,6 @@ env:
   RUST_BACKTRACE: short
   CARGO_NET_RETRY: 10
   RUSTUP_MAX_RETRIES: 10
-  CARGO_NET_GIT_FETCH_WITH_CLI: true
 
 jobs:
   cleanup-runs:
@@ -52,10 +51,10 @@ jobs:
   doc_all_features:
     runs-on: ubuntu-latest
     steps:
-      - uses: webfactory/[email protected]
-        with:
-          ssh-private-key: ${{ secrets.SOVEREIGN_DEPLOY_KEY }}
       - uses: actions/checkout@v3
+      - name: Set up Git credentials
+        run:
+          git config --global --replace-all "url.https://${{ secrets.AUTH_TOKEN }}@github.com.insteadOf" ssh://[email protected]
       - uses: arduino/setup-protoc@v2
       - uses: actions-rs/toolchain@v1
         with:
@@ -70,10 +69,10 @@ jobs:
   clippy_all_features:
     runs-on: ubuntu-latest
     steps:
-      - uses: webfactory/[email protected]
-        with:
-          ssh-private-key: ${{ secrets.SOVEREIGN_DEPLOY_KEY }}
       - uses: actions/checkout@v3
+      - name: Set up Git credentials
+        run:
+          git config --global --replace-all "url.https://${{ secrets.AUTH_TOKEN }}@github.com.insteadOf" ssh://[email protected]
       - uses: arduino/setup-protoc@v2
       - uses: actions-rs/toolchain@v1
         with:
@@ -89,10 +88,10 @@ jobs:
   clippy_no_default_features:
     runs-on: ubuntu-latest
     steps:
-      - uses: webfactory/[email protected]
-        with:
-          ssh-private-key: ${{ secrets.SOVEREIGN_DEPLOY_KEY }}
       - uses: actions/checkout@v3
+      - name: Set up Git credentials
+        run:
+          git config --global --replace-all "url.https://${{ secrets.AUTH_TOKEN }}@github.com.insteadOf" ssh://[email protected]
       - uses: arduino/setup-protoc@v2
       - uses: actions-rs/toolchain@v1
         with:
@@ -109,10 +108,10 @@ jobs:
     runs-on: ubuntu-latest
     timeout-minutes: 30
     steps:
-      - uses: webfactory/[email protected]
-        with:
-          ssh-private-key: ${{ secrets.SOVEREIGN_DEPLOY_KEY }}
       - uses: actions/checkout@v3
+      - name: Set up Git credentials
+        run:
+          git config --global --replace-all "url.https://${{ secrets.AUTH_TOKEN }}@github.com.insteadOf" ssh://[email protected]
       - uses: arduino/setup-protoc@v2
       - uses: actions-rs/toolchain@v1
         with: