From 04775eed547b7dc23e392187439fc2de74cfccd6 Mon Sep 17 00:00:00 2001
From: Aric Camarata <aric.camarata@gmail.com>
Date: Fri, 29 May 2026 06:36:02 -0400
Subject: [PATCH] ci: add wiki sync workflow + untrack AGENTS.md (AI working
 memory, not source code)

---
 .claude/AGENTS.md               |  1 -
 .github/workflows/wiki-sync.yml | 43 +++++++++++++++++++++++++++++++++
 2 files changed, 43 insertions(+), 1 deletion(-)
 delete mode 120000 .claude/AGENTS.md
 create mode 100644 .github/workflows/wiki-sync.yml

diff --git a/.claude/AGENTS.md b/.claude/AGENTS.md
deleted file mode 120000
index 681311e..0000000
--- a/.claude/AGENTS.md
+++ /dev/null
@@ -1 +0,0 @@
-CLAUDE.md
\ No newline at end of file
diff --git a/.github/workflows/wiki-sync.yml b/.github/workflows/wiki-sync.yml
new file mode 100644
index 0000000..c3a6bf0
--- /dev/null
+++ b/.github/workflows/wiki-sync.yml
@@ -0,0 +1,43 @@
+name: Sync Wiki
+
+on:
+  push:
+    branches: [main]
+    paths: [".github/wiki/**"]
+  workflow_dispatch:
+
+permissions:
+  contents: write
+
+jobs:
+  sync:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+
+      - name: Checkout wiki
+        id: clone_wiki
+        run: |
+          if git clone "https://x-access-token:${{ github.token }}@github.com/${{ github.repository }}.wiki.git" .wiki-remote 2>&1; then
+            echo "wiki_exists=true" >> "$GITHUB_OUTPUT"
+          else
+            echo "wiki_exists=false" >> "$GITHUB_OUTPUT"
+            echo "Wiki not yet initialized; skipping sync. Initialize via GitHub web UI first."
+          fi
+
+      - name: Sync wiki pages
+        if: steps.clone_wiki.outputs.wiki_exists == 'true'
+        run: |
+          cp .github/wiki/*.md .wiki-remote/
+          cd .wiki-remote
+          git config user.name "github-actions[bot]"
+          git config user.email "github-actions[bot]@users.noreply.github.com"
+          git add -A
+          if git diff --cached --quiet; then
+            echo "No wiki changes to commit"
+          else
+            git commit -m "Sync wiki from repo"
+            git push origin HEAD:master
+          fi
+