From 8a9703bbcee548f79f325d9c7dcfa365748b3bc8 Mon Sep 17 00:00:00 2001
From: Yi Sun <yi-sun@users.noreply.github.com>
Date: Sat, 14 Dec 2024 16:18:22 -0600
Subject: [PATCH] chore: replace github config

---
 .github/workflows/docs.yml | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 5634ee4969..4ee2c1630e 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -23,9 +23,12 @@ jobs:
       - name: Set up Rust toolchain
         uses: dtolnay/rust-toolchain@nightly
 
-      - name: Configure git
-        run: |
-          git config --global url."https://${{ github.token }}@github.com/".insteadOf "ssh://git@github.com/"
+      # TEMPORARY
+      - name: Give GitHub Actions access to private repositories
+        uses: webfactory/ssh-agent@v0.9.0
+        with:
+          ssh-private-key: |
+            ${{ secrets.GH_ACTIONS_DEPLOY_PRIVATE_KEY }}
 
       - name: Build documentation
         run: cargo doc --workspace --no-deps