From 4e55e6379435146aab92ec327dc17d3af98df061 Mon Sep 17 00:00:00 2001
From: Ardis Lu <ardisglu@gmail.com>
Date: Thu, 2 Jul 2026 01:02:18 -0700
Subject: [PATCH] Persist credentials

This credential is required for `git push` later in the job.
---
 .github/workflows/make-docs.yml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.github/workflows/make-docs.yml b/.github/workflows/make-docs.yml
index f4f9614..5bcd1c9 100644
--- a/.github/workflows/make-docs.yml
+++ b/.github/workflows/make-docs.yml
@@ -15,8 +15,6 @@ jobs:
     runs-on: ubuntu-26.04
     steps:
       - uses: actions/checkout@v7
-        with:
-          persist-credentials: false
 
       - name: Build README.md
         shell: pwsh
-- 
2.47.3