From 6a03d510807a1e00345bb2c1285f83ebd6aef3a0 Mon Sep 17 00:00:00 2001
From: "Josef M. Gallmetzer" <64498081+galjos@users.noreply.github.com>
Date: Tue, 9 Jun 2026 08:44:10 +0200
Subject: [PATCH] Refresh TagBot workflow

---
 .github/workflows/CI.yml     |  1 -
 .github/workflows/TagBot.yml | 15 +++------------
 2 files changed, 3 insertions(+), 13 deletions(-)

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index 1e3588e..0cbd05b 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -4,7 +4,6 @@ on:
   push:
     branches:
       - main
-      - develop
   pull_request:
   workflow_dispatch:
 
diff --git a/.github/workflows/TagBot.yml b/.github/workflows/TagBot.yml
index df84f50..de94a91 100644
--- a/.github/workflows/TagBot.yml
+++ b/.github/workflows/TagBot.yml
@@ -6,26 +6,17 @@ on:
   workflow_dispatch:
     inputs:
       lookback:
-        default: 3
+        description: "[DEPRECATED] No longer has any effect"
+        default: "3"
 permissions:
-  actions: read
-  checks: read
   contents: write
-  deployments: read
   issues: read
-  discussions: read
-  packages: read
-  pages: read
   pull-requests: read
-  repository-projects: read
-  security-events: read
-  statuses: read
 jobs:
   TagBot:
     if: github.event_name == 'workflow_dispatch' || github.actor == 'JuliaTagBot'
     runs-on: ubuntu-latest
     steps:
-      - uses: JuliaRegistries/TagBot@v1.18.1
+      - uses: JuliaRegistries/TagBot@v1.25.7
         with:
           token: ${{ secrets.GITHUB_TOKEN }}
-          ssh: ${{ secrets.DOCUMENTER_KEY }}