Commit 9b87b162 authored by Peter Parente's avatar Peter Parente Committed by GitHub

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

Fix GITHUB_REPOSITORY value
parents 7e2f380b 84b7e4b6
......@@ -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
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment