From f73aae0bfc3448109b13ec897fccb8d6cf6dea3e Mon Sep 17 00:00:00 2001
From: Lianmin Zheng <lianminzheng@gmail.com>
Date: Sun, 14 Sep 2025 21:59:13 -0700
Subject: [PATCH] Update GITHUB_TOKEN secret for documentation push (#10458)

---
 .github/workflows/release-docs.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/release-docs.yml b/.github/workflows/release-docs.yml
index 0e09eec93..8e5e1460e 100644
--- a/.github/workflows/release-docs.yml
+++ b/.github/workflows/release-docs.yml
@@ -43,7 +43,7 @@ jobs:
       - name: Push HTML to sgl-project.github.io
         timeout-minutes: 60
         env:
-          GITHUB_TOKEN: ${{ secrets.DOCUMENTATION_PAT_TOKEN }}
+          GITHUB_TOKEN: ${{ secrets.GH_PAT_FOR_DOCUMENTATION }}
         run: |
           cd docs
           make html