Merge pull request #93 from giordano/mg/tagbot-ssh-key

Add SSH key to let TagBot trigger building documentation

Merge pull request #93 from giordano/mg/tagbot-ssh-key
Add SSH key to let TagBot trigger building documentation
460dd7f6 · Laurent Heirendt · GitHub · 8957cfad · 4f73a23b · 460dd7f6
Unverified Commit 460dd7f6 authored Jun 28, 2021 by Laurent Heirendt ✈ Committed by GitHub Jun 28, 2021
--- a/.github/workflows/TagBot.yml
+++ b/.github/workflows/TagBot.yml
@@ -12,3 +12,4 @@ jobs:
      - uses: JuliaRegistries/TagBot@v1
        with:
          token: ${{ secrets.GITHUB_TOKEN }}
+          ssh: ${{ secrets.DOCUMENTER_KEY }}