move commit comment to workflow with access to GITHUB_TOKEN

Author: bcumming

.github/workflows/docs_pr.yaml

@@ -38,12 +38,3 @@ jobs:
           name: docs
           path: upload
           if-no-files-found: error
-      - name: Post comment with preview URL
-        run: |
-          curl -L -X POST \
-            -H "Accept: application/vnd.github+json" \
-            -H "Authorization: Bearer ${{ secrets.GITHUB_TOKEN }}" \
-            "https://api.github.com/repos/eth-cscs/cscs-docs/issues/${{ github.event.pull_request.number }}/comments" \
-            -d '{
-              "body": "preview available: https://docs.tds.cscs.ch/${{ github.event.pull_request.number }}"
-            }'

.github/workflows/docs_pr_upload.yaml

@@ -24,3 +24,12 @@ jobs:
             ls -alh
             PR_NBR=$(cat pr_number.txt)
             curl --data-binary @site.tar.gz -H "Authorization: Bearer ${{ secrets.UPLOAD_TOKEN }}" https://docs.tds.cscs.ch/upload?path=$PR_NBR
+      - name: Post comment with preview URL
+        run: |
+          curl -L -X POST \
+            -H "Accept: application/vnd.github+json" \
+            -H "Authorization: Bearer ${{ secrets.GITHUB_TOKEN }}" \
+            "https://api.github.com/repos/eth-cscs/cscs-docs/issues/${{ github.event.pull_request.number }}/comments" \
+            -d '{
+              "body": "preview available: https://docs.tds.cscs.ch/${{ github.event.pull_request.number }}"
+            }'