sync-wiki.yml

name: Sync Docs to Wiki

on:
  push:
    branches:
      - main
    paths:
      - 'current/docs/**'
  workflow_dispatch:

permissions:
  contents: write

jobs:
  sync-wiki:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout repository
        uses: actions/checkout@v4
        with:
          fetch-depth: 0

      - name: Clone wiki repository
        run: |
          git clone "https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}.wiki.git" wiki-repo

      - name: Copy docs to wiki
        run: |
          cp current/docs/*.md wiki-repo/

      - name: Configure git identity
        working-directory: wiki-repo
        run: |
          git config user.name "github-actions[bot]"
          git config user.email "github-actions[bot]@users.noreply.github.com"

      - name: Commit and push changes
        working-directory: wiki-repo
        run: |
          git add .
          if git diff --cached --quiet; then
            echo "No changes to sync."
          else
            git commit -m "docs: sync from main (${{ github.sha }})"
            git push
          fi