From a5927cdfe831bbd1b22676cf7ddd4efe96b0930f Mon Sep 17 00:00:00 2001
From: ClementTsang <dev@cjhtsang.ca>
Date: Tue, 18 Aug 2026 05:44:35 -0400
Subject: [PATCH] driveby fix for docs push

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

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 65b154ed..aed6578f 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -1,4 +1,4 @@
-# Workflow to deploy nightly mkdocs documentation.
+# Workflow to deploy mkdocs documentation.
 
 name: docs
 
@@ -39,7 +39,8 @@ jobs:
         uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
         with:
           fetch-depth: 0
-          persist-credentials: false
+          # This is required due to mike needing to push.
+          persist-credentials: true
 
       - uses: actions/setup-python@a309ff8b426b58ec0e2a45f0f869d46889d02405 # v6.2.0
         with: