GH_TOKEN or GITHUB_TOKEN?

Interlisp · Jun 6, 2024 · 85b2dda · 85b2dda
1 parent dba1ed2
commit 85b2dda
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/buildReleaseInclDocker.yml b/.github/workflows/buildReleaseInclDocker.yml
@@ -121,6 +121,7 @@ jobs:
     steps:
       - name: run-online-deploy
         run: |
-          gh workflow run buildAndDeployMedleyDocker.yml --repo Interlisp/online --ref master
+          gh workflow run buildAndDeployMedleyDocker.yml --repo Interlisp/online
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}