Merge pull request #1144 from parente/debug-wiki-push

Fix GITHUB_REPOSITORY value
jupyter · Aug 9, 2020 · 9b87b16 · 9b87b16
2 parents 7e2f380 + 84b7e4b
commit 9b87b16
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
@@ -60,8 +60,8 @@ jobs:
         run: make -C main push-all
       - name: Push Wiki to GitHub
         if: github.ref == 'refs/heads/master'
-        run: make -C main git-commit
+        # Pass GITHUB_REPOSITORY directly to avoid conflict with GitHub Actions built-in env var
+        run: make -C main git-commit GITHUB_REPOSITORY='${{ github.repository }}.wiki'
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-          GITHUB_REPOSITORY: ${{github.repository}}.wiki
           LOCAL_PATH: ../wiki