From ea5a5981767c901538efee01b37fd5f56d939103 Mon Sep 17 00:00:00 2001
From: Jacob Quinn <quinn.jacobd@gmail.com>
Date: Tue, 13 Oct 2026 19:16:40 -0600
Subject: [PATCH] Publish docs with GITHUB_TOKEN instead of the stale deploy
 key

The DOCUMENTER_KEY secret has no matching deploy key, so the docs job
failed with 'Permission denied (publickey)'. The job already has
contents: write, which is all Documenter needs to push gh-pages with
GITHUB_TOKEN.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
---
 .github/workflows/ci.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 10d5fff..ed79b3b 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -65,4 +65,3 @@ jobs:
       - uses: julia-actions/julia-docdeploy@v1
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-          DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}