From 41b89d85fae3466ee47bddeac1f6537382e20da5 Mon Sep 17 00:00:00 2001 From: Dragorn421 Date: Tue, 2 Jun 2026 17:01:05 +0200 Subject: [PATCH] Fix publish_docs_to_wiki github action --- .github/workflows/publish_docs_to_wiki.yml | 15 ++++++--------- 1 file changed, 6 insertions(+), 9 deletions(-) diff --git a/.github/workflows/publish_docs_to_wiki.yml b/.github/workflows/publish_docs_to_wiki.yml index 8fcfb229..4ef7b6bc 100644 --- a/.github/workflows/publish_docs_to_wiki.yml +++ b/.github/workflows/publish_docs_to_wiki.yml @@ -31,18 +31,16 @@ jobs: - name: Get the new Wiki files run: | - cd wiki_repo - rm *.md - cp ../splat_repo/docs/* . + rm wiki_repo/*.md + cp splat_repo/docs/* wiki_repo/ # `git log -1 --pretty=%aN` prints the current commit's author name # `git log -1 --pretty=%aE` prints the current commit's author mail - name: Stage new files run: | - cd wiki_repo - git config user.name $(git log -1 --pretty=%aN) - git config user.email $(git log -1 --pretty=%aE) - git add . + git -C wiki_repo config user.name $(git -C splat_repo log -1 --pretty=%aN) + git -C wiki_repo config user.email $(git -C splat_repo log -1 --pretty=%aE) + git -C wiki_repo add . # `git diff-index --quiet HEAD` returns non-zero if there are any changes. # This allows to avoid making a commit/push if there are no changes to the Wiki files @@ -50,5 +48,4 @@ jobs: # `git log -1 --pretty=%B` prints the current commit's message - name: Push new files to the Wiki run: | - cd wiki_repo - git diff-index --quiet HEAD || (git commit -m "$(git log -1 --pretty=%B)" && git push) + git -C wiki_repo diff-index --quiet HEAD || (git -C wiki_repo commit -m "$(git -C splat_repo log -1 --pretty=%B)" && git -C wiki_repo push)