sync-user-guide-to-wiki.yaml

name: Sync User Guide to Wiki

on:
  # Run weekly on Monday at 6:00 UTC
  schedule:
    - cron: '0 6 * * 1'
  
  workflow_dispatch:
    inputs:
      dry_run:
        description: 'Dry run (do not push changes)'
        type: boolean
        default: false

permissions:
  contents: write

jobs:
  sync-wiki:
    name: Sync User Guide to Wiki
    runs-on: ubuntu-latest
    
    steps:
      - name: Checkout repository
        uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
        with:
          fetch-depth: 1
      
      - name: Setup Node.js
        uses: actions/setup-node@48b55a011bda9f5d6aeb4c2d9c7362e8dae4041e # v6.4.0
        with:
          node-version: '24'
      
      - name: Install dependencies
        working-directory: .github/workflows/github-script
        run: npm ci
      
      - name: Sync user guide to wiki
        uses: actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9.0.0
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
          DRY_RUN: ${{ inputs.dry_run || 'false' }}
        with:
          script: |
            const syncUserGuideToWiki = require('./.github/workflows/github-script/sync-user-guide-to-wiki.js');
            await syncUserGuideToWiki({ github, context, core });