From d956e031feb73d6562be9a3f399e10bd8cf07329 Mon Sep 17 00:00:00 2001 From: LKuemmel Date: Thu, 4 Dec 2025 09:30:01 +0100 Subject: [PATCH 1/2] update wiki workflow --- .github/workflows/publish_docs_to_wiki.yml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/.github/workflows/publish_docs_to_wiki.yml b/.github/workflows/publish_docs_to_wiki.yml index e5f71e1e23..4a4788fdb2 100644 --- a/.github/workflows/publish_docs_to_wiki.yml +++ b/.github/workflows/publish_docs_to_wiki.yml @@ -31,9 +31,11 @@ jobs: mkdir tmp_wiki cd tmp_wiki git init - git config user.name $USER_NAME - git config user.email $USER_EMAIL + git config user.name "GitHub Actions" + git config user.email "actions@github.com" git pull https://$USER_TOKEN@github.com/$OWNER/$REPOSITORY_NAME.wiki.git + env: + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # 4. Synchronize differences between `docs` & `tmp_wiki` # 5. Push new Wiki content - name: Push content to wiki @@ -43,3 +45,5 @@ jobs: git add . git commit -m "Update Wiki content" git push -f --set-upstream https://$USER_TOKEN@github.com/$OWNER/$REPOSITORY_NAME.wiki.git master + env: + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} From c487913a45783836e08a4ce8bca1463aa659b3c0 Mon Sep 17 00:00:00 2001 From: LKuemmel Date: Thu, 4 Dec 2025 09:31:40 +0100 Subject: [PATCH 2/2] fix --- .github/workflows/publish_docs_to_wiki.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/publish_docs_to_wiki.yml b/.github/workflows/publish_docs_to_wiki.yml index 4a4788fdb2..6d6f4874be 100644 --- a/.github/workflows/publish_docs_to_wiki.yml +++ b/.github/workflows/publish_docs_to_wiki.yml @@ -33,7 +33,7 @@ jobs: git init git config user.name "GitHub Actions" git config user.email "actions@github.com" - git pull https://$USER_TOKEN@github.com/$OWNER/$REPOSITORY_NAME.wiki.git + git pull https://$GITHUB_TOKEN@github.com/$OWNER/$REPOSITORY_NAME.wiki.git env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # 4. Synchronize differences between `docs` & `tmp_wiki` @@ -44,6 +44,6 @@ jobs: cd tmp_wiki git add . git commit -m "Update Wiki content" - git push -f --set-upstream https://$USER_TOKEN@github.com/$OWNER/$REPOSITORY_NAME.wiki.git master + git push -f --set-upstream https://$GITHUB_TOKEN@github.com/$OWNER/$REPOSITORY_NAME.wiki.git master env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}