Skip to content
Sync User Manual to Wiki

[core] Add auto dispatch + Extend the mgit example (#49) #35

Sign in to view logs

[core] Add auto dispatch + Extend the mgit example (#49)

[core] Add auto dispatch + Extend the mgit example (#49) #35

Workflow file for this run

.github/workflows/sync_wiki.yaml at 08a3019
name: Sync User Manual to Wiki
on:
push:
branches: [main]
paths:
- 'docs/user_manual.md'
workflow_dispatch:
jobs:
sync-wiki:
runs-on: ubuntu-latest
permissions:
contents: write
steps:
- name: Checkout repo
uses: actions/checkout@v4
- name: Push user_manual.md to Wiki
run: |
git clone https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}.wiki.git wiki
cp docs/user_manual.md wiki/Home.md
cd wiki
git config user.name "github-actions[bot]"
git config user.email "github-actions[bot]@users.noreply.github.com"
git add Home.md
git diff --staged --quiet || git commit -m "docs: sync user manual from docs/user_manual.md"
git push