From aa0202ff255fd13cae531bdbcd76d5a6eaa29720 Mon Sep 17 00:00:00 2001
From: Romeo Valentin <romeov@stanford.edu>
Date: Wed, 17 Jul 2024 21:39:51 +0200
Subject: [PATCH] Change `DOCUMENTER_KEY` to `SSH_KEY`

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

diff --git a/.github/workflows/TagBot.yml b/.github/workflows/TagBot.yml
index 0cd3114..4f02298 100644
--- a/.github/workflows/TagBot.yml
+++ b/.github/workflows/TagBot.yml
@@ -28,4 +28,4 @@ jobs:
       - uses: JuliaRegistries/TagBot@v1
         with:
           token: ${{ secrets.GITHUB_TOKEN }}
-          ssh: ${{ secrets.DOCUMENTER_KEY }}
+          ssh: ${{ secrets.SSH_KEY }}