Merge pull request #326 from JuliaReach/schillic/tagbot

Fix creation of tagged docs versions

Author: schillic

.github/workflows/TagBot.yml

@@ -14,3 +14,4 @@ jobs:
         uses: JuliaRegistries/TagBot@v1
         with:
           token: ${{ secrets.GITHUB_TOKEN }}
+          ssh: ${{ secrets.DOCUMENTER_KEY }}