{"path":".github/workflows/wiki-sync.yml","size":878,"locked":false,"binary":false,"truncated":false,"content":"name: Sync docs to wiki\n\non:\n  push:\n    branches: [main]\n    paths:\n      - docs/**\n      - .github/workflows/wiki-sync.yml\n\npermissions:\n  contents: write\n\njobs:\n  sync:\n    runs-on: ubuntu-latest\n    steps:\n      - name: Checkout repo\n        uses: actions/checkout@v4\n\n      - name: Checkout wiki\n        uses: actions/checkout@v4\n        with:\n          repository: ${{ github.repository }}.wiki\n          path: wiki\n\n      - name: Copy wiki source pages\n        run: |\n          find wiki -mindepth 1 -maxdepth 1 -exec rm -rf {} +\n          cp -a docs/wiki/. wiki/\n\n      - name: Commit and push wiki\n        run: |\n          cd wiki\n          git config user.name \"github-actions[bot]\"\n          git config user.email \"github-actions[bot]@users.noreply.github.com\"\n          git add .\n          git commit -m \"docs: sync wiki from docs/wiki\" || exit 0\n          git push\n"}