ci: wiki sync

Author: faretek1

.github/workflows/wiki-sync.yml

@@ -0,0 +1,47 @@
+name: Docs <-> Wiki
+
+on:
+  push:
+    branches:
+      # Name a branch "docs-preview" if you want commits to the branch to apply to the wiki
+      # immediately. Helpful if you want to make multiple updates, preview them, merge commits, etc.
+      # before finally merging to master.
+      - docs-preview
+
+      # With the above exception, doc updates will only by synced to the wiki when merged to the
+      # default branch.
+      #
+      # TODO: confirm or change default branch name for your repo
+      - main
+    paths:
+      # TODO: this should match where your wiki docs are synced to.  E.g. "docs/**"
+      - "wiki/**"
+
+  # gollum is the wiki add/update event and this only triggers for the default branch.  I.e. if
+  # an update is made to the wiki, only the master branch will be updated.
+  gollum:
+
+# Limit this workflow to a single run at a time to avoid race conditions
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
+permissions:
+  contents: write
+jobs:
+  sync-docs:
+    # Avoid cyclical sync when the wiki is updated.  GitHub has built-in protection for push event.
+    if: github.event_name != 'gollum' || !contains(github.event.pages[0].summary, 'wiki sync bot:')
+    runs-on: ubuntu-24.04
+    steps:
+      - name: Checkout Repo
+        uses: actions/checkout@v4
+
+      - name: GitHub Wiki Sync
+        uses: level12/gh-action-wiki-sync@main
+        with:
+          # TODO: change this if your docs are in a directory other than "wiki"
+          # docs_path: wiki
+
+          # TODO: change this to a personal access token secret for better security
+          github_token: ${{ github.token }}