From 7cb90e83ec5e40669645fb0c2a4fbde6adc5eb52 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Sun, 24 Aug 2025 17:46:04 +0200
Subject: [PATCH] Update TagBot config

---
 .github/workflows/TagBot.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/TagBot.yml b/.github/workflows/TagBot.yml
index 778c06f..f389611 100644
--- a/.github/workflows/TagBot.yml
+++ b/.github/workflows/TagBot.yml
@@ -4,6 +4,11 @@ on:
     types:
       - created
   workflow_dispatch:
+    inputs:
+      lookback:
+        default: 3
+permissions:
+  contents: write
 jobs:
   TagBot:
     if: github.event_name == 'workflow_dispatch' || github.actor == 'JuliaTagBot'
@@ -12,3 +17,4 @@ jobs:
       - uses: JuliaRegistries/TagBot@v1
         with:
           token: ${{ secrets.GITHUB_TOKEN }}
+          ssh: ${{ secrets.DOCUMENTER_KEY }}