update docs to be correct

Signed-off-by: vsoch <vsoch@users.noreply.github.com>
rse-ops · Oct 18, 2021 · d51abff · d51abff
1 parent 251aa47
commit d51abff
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/readthedocs/README.md b/readthedocs/README.md
@@ -45,11 +45,12 @@ jobs:
         # Buid on push (but no deploy)
       - uses: rse-ops/librarian/readthedocs@main
         if: (github.event_name == 'push')
+        with:
+          token: ${{ secrets.GITHUB_TOKEN }} 
 
       - uses: rse-ops/librarian/readthedocs@main
         if: (github.event_name == 'pull_request')
         with:        
-          token: ${{ secrets.GITHUB_TOKEN }} 
           deploy: "false"
 ```
 

diff --git a/readthedocs/deploy.sh b/readthedocs/deploy.sh
@@ -8,6 +8,13 @@ if [ "${INPUT_DEPLOY}" != "true" ]; then
     exit 0
 fi
 
+# If we need to deploy, a token is required
+if [[ -z "${GITHUB_TOKEN}" ]]; then
+    printf "GITHUB_TOKEN is not set, cannot deploy\n"
+    exit 1
+fi
+
+
 printf "GitHub Actor: ${GITHUB_ACTOR}\n"
 git config --global user.name "github-actions"
 git config --global user.email "github-actions@users.noreply.github.com"