Skip to content

Commit 3fd9aa1

Browse files
[wiki] Push publish branch explicitly (#48) (#51)
* Push wiki publish branch explicitly * Update wiki submodule pointer for PR #51 --------- Co-authored-by: github-actions <41898282+github-actions[bot]@users.noreply.github.com>
1 parent aeb4f9b commit 3fd9aa1

2 files changed

Lines changed: 4 additions & 9 deletions

File tree

.github/wiki

Submodule wiki updated from 27c2a17 to 97bea40

.github/workflows/wiki.yml

Lines changed: 3 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -142,14 +142,9 @@ jobs:
142142
git reset --hard "origin/${WIKI_PREVIEW_BRANCH}"
143143
git clean -fd
144144
145-
- name: Commit & push wiki publish branch
146-
uses: EndBug/add-and-commit@v10
147-
with:
148-
cwd: .github/wiki
149-
add: .
150-
message: "Publish wiki docs from PR #${{ github.event.pull_request.number }}"
151-
default_author: github_actions
152-
push: origin HEAD:${{ env.WIKI_PUBLISH_BRANCH }}
145+
- name: Push wiki publish branch
146+
working-directory: .github/wiki
147+
run: git push --force-with-lease origin HEAD:"${WIKI_PUBLISH_BRANCH}"
153148

154149
- name: Delete wiki preview branch
155150
working-directory: .github/wiki

0 commit comments

Comments
 (0)