sync-docs.yml

name: Sync docs from trunk-recorder

on:
  # Triggered by trunk-recorder when docs/** changes on master
  repository_dispatch:
    types: [docs-updated]

  # Manual trigger via GitHub UI
  workflow_dispatch:

  # Daily fallback in case the dispatch was missed
  schedule:
    - cron: '0 4 * * *'

jobs:
  sync:
    name: Sync docs
    runs-on: ubuntu-latest
    permissions:
      contents: write

    steps:
      - name: Checkout site repo
        uses: actions/checkout@v4
        with:
          path: site

      - name: Checkout trunk-recorder repo
        uses: actions/checkout@v4
        with:
          repository: TrunkRecorder/trunk-recorder
          path: trunk-recorder

      - name: Run sync script
        run: python3 site/scripts/sync-docs.py trunk-recorder/docs site/docs

      - name: Commit and push if changed
        working-directory: site
        run: |
          git config user.name "github-actions[bot]"
          git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
          git add docs/
          if git diff --staged --quiet; then
            echo "No changes — nothing to commit."
          else
            git commit -m "chore: sync docs from trunk-recorder"
            git push
          fi