From 3efe48abba2e6b6143c659bdbaec1816dfabce1e Mon Sep 17 00:00:00 2001
From: Davide Fioriti <67809479+davide-f@users.noreply.github.com>
Date: Sat, 15 Oct 2022 20:11:01 +0200
Subject: [PATCH 1/4] Create Julia TagBot.yml

---
 .github/workflows/Julia TagBot.yml | 56 ++++++++++++++++++++++++++++++
 1 file changed, 56 insertions(+)
 create mode 100644 .github/workflows/Julia TagBot.yml

diff --git a/.github/workflows/Julia TagBot.yml b/.github/workflows/Julia TagBot.yml
new file mode 100644
index 0000000..ecb4119
--- /dev/null
+++ b/.github/workflows/Julia TagBot.yml	
@@ -0,0 +1,56 @@
+- name: Julia TagBot
+  # You may pin to the exact commit or the version.
+  # uses: JuliaRegistries/TagBot@83d2a237b53f636f86edce478900bc8a38e450d2
+  uses: JuliaRegistries/TagBot@v1.10.0
+  with:
+    # GitHub API token
+    token: 
+    # Owner/name of the registry repository
+    registry: # optional, default is JuliaRegistries/General
+    # URL of self-hosted GitHub
+    github: # optional, default is github.com
+    # API base URL of self-hosted GitHub
+    github_api: # optional, default is api.github.com
+    # Whether or not to merge release branches
+    branches: # optional
+    # Whether or not to create a repository dispatch event prior to making releases
+    dispatch: # optional
+    # Number of minutes to wait after creating a repository dispatch event
+    dispatch_delay: # optional, default is 5
+    # Number of days to look back in time for new releases
+    lookback: # optional, default is 3
+    # SSH private key for pushing tags
+    ssh: # optional
+    # Password for the SSH key
+    ssh_password: # optional
+    # GPG key for signing tags
+    gpg: # optional
+    # Password for the GPG key
+    gpg_password: # optional
+    # Changelog template
+    changelog: # optional, default is ## {{ package }} {{ version }}
+
+{% if previous_release %}
+[Diff since {{ previous_release }}]({{ compare_url }})
+{% endif %}
+
+{% if custom %}
+{{ custom }}
+{% endif %}
+
+{% if issues %}
+**Closed issues:**
+{% for issue in issues %}
+- {{ issue.title }} (#{{ issue.number }})
+{% endfor %}
+{% endif %}
+
+{% if pulls %}
+**Merged pull requests:**
+{% for pull in pulls %}
+- {{ pull.title }} (#{{ pull.number }}) (@{{ pull.author.username }})
+{% endfor %}
+{% endif %}
+
+    # Labels for issues and pull requests to be ignored (comma-delimited)
+    changelog_ignore: # optional

From bf722932d1e63b6b59b83213bf982c0c4170ff46 Mon Sep 17 00:00:00 2001
From: Davide Fioriti <67809479+davide-f@users.noreply.github.com>
Date: Sat, 15 Oct 2022 20:13:16 +0200
Subject: [PATCH 2/4] Create CompatHelper.yml

---
 .github/workflows/CompatHelper.yml | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 .github/workflows/CompatHelper.yml

diff --git a/.github/workflows/CompatHelper.yml b/.github/workflows/CompatHelper.yml
new file mode 100644
index 0000000..cba9134
--- /dev/null
+++ b/.github/workflows/CompatHelper.yml
@@ -0,0 +1,16 @@
+name: CompatHelper
+on:
+  schedule:
+    - cron: 0 0 * * *
+  workflow_dispatch:
+jobs:
+  CompatHelper:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Pkg.add("CompatHelper")
+        run: julia -e 'using Pkg; Pkg.add("CompatHelper")'
+      - name: CompatHelper.main()
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          COMPATHELPER_PRIV: ${{ secrets.DOCUMENTER_KEY }}
+        run: julia -e 'using CompatHelper; CompatHelper.main()'

From 01e4cf167400cde30a83a62d2f910f2e4f20bd25 Mon Sep 17 00:00:00 2001
From: Davide Fioriti <67809479+davide-f@users.noreply.github.com>
Date: Sat, 15 Oct 2022 20:13:34 +0200
Subject: [PATCH 3/4] Rename Julia TagBot.yml to TagBot.yml

---
 .github/workflows/{Julia TagBot.yml => TagBot.yml} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename .github/workflows/{Julia TagBot.yml => TagBot.yml} (100%)

diff --git a/.github/workflows/Julia TagBot.yml b/.github/workflows/TagBot.yml
similarity index 100%
rename from .github/workflows/Julia TagBot.yml
rename to .github/workflows/TagBot.yml

From a647df840c1b1309bbbc9c72bbe1164f2627d839 Mon Sep 17 00:00:00 2001
From: Davide Fioriti <67809479+davide-f@users.noreply.github.com>
Date: Sat, 15 Oct 2022 20:16:30 +0200
Subject: [PATCH 4/4] Update TagBot.yml

---
 .github/workflows/TagBot.yml | 71 ++++++++----------------------------
 1 file changed, 15 insertions(+), 56 deletions(-)

diff --git a/.github/workflows/TagBot.yml b/.github/workflows/TagBot.yml
index ecb4119..3865a58 100644
--- a/.github/workflows/TagBot.yml
+++ b/.github/workflows/TagBot.yml
@@ -1,56 +1,15 @@
-- name: Julia TagBot
-  # You may pin to the exact commit or the version.
-  # uses: JuliaRegistries/TagBot@83d2a237b53f636f86edce478900bc8a38e450d2
-  uses: JuliaRegistries/TagBot@v1.10.0
-  with:
-    # GitHub API token
-    token: 
-    # Owner/name of the registry repository
-    registry: # optional, default is JuliaRegistries/General
-    # URL of self-hosted GitHub
-    github: # optional, default is github.com
-    # API base URL of self-hosted GitHub
-    github_api: # optional, default is api.github.com
-    # Whether or not to merge release branches
-    branches: # optional
-    # Whether or not to create a repository dispatch event prior to making releases
-    dispatch: # optional
-    # Number of minutes to wait after creating a repository dispatch event
-    dispatch_delay: # optional, default is 5
-    # Number of days to look back in time for new releases
-    lookback: # optional, default is 3
-    # SSH private key for pushing tags
-    ssh: # optional
-    # Password for the SSH key
-    ssh_password: # optional
-    # GPG key for signing tags
-    gpg: # optional
-    # Password for the GPG key
-    gpg_password: # optional
-    # Changelog template
-    changelog: # optional, default is ## {{ package }} {{ version }}
-
-{% if previous_release %}
-[Diff since {{ previous_release }}]({{ compare_url }})
-{% endif %}
-
-{% if custom %}
-{{ custom }}
-{% endif %}
-
-{% if issues %}
-**Closed issues:**
-{% for issue in issues %}
-- {{ issue.title }} (#{{ issue.number }})
-{% endfor %}
-{% endif %}
-
-{% if pulls %}
-**Merged pull requests:**
-{% for pull in pulls %}
-- {{ pull.title }} (#{{ pull.number }}) (@{{ pull.author.username }})
-{% endfor %}
-{% endif %}
-
-    # Labels for issues and pull requests to be ignored (comma-delimited)
-    changelog_ignore: # optional
+name: TagBot
+on:
+  issue_comment:
+    types:
+      - created
+  workflow_dispatch:
+jobs:
+  TagBot:
+    if: github.event_name == 'workflow_dispatch' || github.actor == 'JuliaTagBot'
+    runs-on: ubuntu-latest
+    steps:
+      - uses: JuliaRegistries/TagBot@v1.10.0
+#        with:
+#          token: ${{ secrets.GITHUB_TOKEN }}
+#          ssh: ${{ secrets.DOCUMENTER_KEY }}