From 5f2d974fd96b2937b8b6737fd201991e7f71cdc0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Felipe=20Say=C3=A3o=20Lobato=20Abreu?= Date: Fri, 17 Apr 2026 15:02:02 -0300 Subject: [PATCH 1/3] Fix wiki publish branch --- .github/workflows/wiki.yml | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/.github/workflows/wiki.yml b/.github/workflows/wiki.yml index 2f81d175e..4654c253d 100644 --- a/.github/workflows/wiki.yml +++ b/.github/workflows/wiki.yml @@ -112,11 +112,12 @@ jobs: push: true publish: - name: Publish Wiki Main + name: Publish Wiki Master if: github.event_name == 'pull_request_target' && github.event.pull_request.merged == true && github.event.pull_request.base.ref == 'main' runs-on: ubuntu-latest env: + WIKI_PUBLISH_BRANCH: master WIKI_PREVIEW_BRANCH: pr-${{ github.event.pull_request.number }} steps: @@ -133,19 +134,19 @@ jobs: git config --global --add safe.directory "$GITHUB_WORKSPACE" git config --global --add safe.directory "$GITHUB_WORKSPACE/.github/wiki" - - name: Prepare wiki main branch from preview branch + - name: Prepare wiki publish branch from preview branch working-directory: .github/wiki run: | - git fetch origin main "${WIKI_PREVIEW_BRANCH}" - git switch -C main --track origin/main || git switch main + git fetch origin "${WIKI_PUBLISH_BRANCH}" "${WIKI_PREVIEW_BRANCH}" + git switch -C "${WIKI_PUBLISH_BRANCH}" --track "origin/${WIKI_PUBLISH_BRANCH}" || git switch "${WIKI_PUBLISH_BRANCH}" git reset --hard "origin/${WIKI_PREVIEW_BRANCH}" git clean -fd - - name: Commit & push wiki main branch + - name: Commit & push wiki publish branch uses: EndBug/add-and-commit@v10 with: cwd: .github/wiki add: . message: "Publish wiki docs from PR #${{ github.event.pull_request.number }}" default_author: github_actions - push: origin HEAD:main + push: origin HEAD:${{ env.WIKI_PUBLISH_BRANCH }} From 9cf0df17be8629e7cbf298665b11443043219c4d Mon Sep 17 00:00:00 2001 From: github-actions <41898282+github-actions[bot]@users.noreply.github.com> Date: Fri, 17 Apr 2026 18:02:49 +0000 Subject: [PATCH 2/3] Update wiki submodule pointer for PR #50 --- .github/wiki | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/wiki b/.github/wiki index aef19f190..27c2a17cc 160000 --- a/.github/wiki +++ b/.github/wiki @@ -1 +1 @@ -Subproject commit aef19f19088ebd10ea38b7fa01d33401b6454166 +Subproject commit 27c2a17cc4b8c2d9ba644f0064e4f132c3ca4a2c From 72d098416b81c67067786e0fcf1e8f67ced96dfb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Felipe=20Say=C3=A3o=20Lobato=20Abreu?= Date: Fri, 17 Apr 2026 15:03:50 -0300 Subject: [PATCH 3/3] Delete published wiki preview branch --- .github/workflows/wiki.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/wiki.yml b/.github/workflows/wiki.yml index 4654c253d..8a85529b9 100644 --- a/.github/workflows/wiki.yml +++ b/.github/workflows/wiki.yml @@ -150,3 +150,7 @@ jobs: message: "Publish wiki docs from PR #${{ github.event.pull_request.number }}" default_author: github_actions push: origin HEAD:${{ env.WIKI_PUBLISH_BRANCH }} + + - name: Delete wiki preview branch + working-directory: .github/wiki + run: git push origin --delete "${WIKI_PREVIEW_BRANCH}"