chore(docs): Add doc files and wiki-sync-workflow in the repo for easy wiki edit

2026-07-28 08:01:19 -07:00 · 2026-01-19 21:27:47 +05:30
parent 0d5a0a783c
commit 773b20112d
3 changed files with 268 additions and 0 deletions
@@ -0,0 +1,29 @@
+name: Sync Docs to Wiki
+
+on:
+  push:
+    branches: [main]
+    paths:
+      - "docs/**"
+      - .github/workflows/wiki-sync.yml
+
+concurrency:
+  group: publish-wiki
+  cancel-in-progress: true
+
+permissions:
+  contents: write
+
+jobs:
+  update-wiki:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout Code
+        uses: actions/checkout@v6
+
+      - name: Push to Wiki
+        uses: Andrew-Chen-Wang/github-wiki-action@v4
+        with:
+          path: docs
+          token: ${{ secrets.WIKI_SYNC_PAT_TOKEN }}
+          commit_message: "Sync docs from main repo: ${{ github.event.head_commit.message }}"