ci: add GitHub Actions workflow to auto-deploy docs to gh-pages

Triggers on push to main when docs/** or the workflow itself changes.
Builds the Docusaurus site under Node 22 with cached npm deps and
publishes to the existing gh-pages branch via peaceiris/actions-gh-pages,
authored by github-actions[bot]. Runs are serialized via a concurrency
group so overlapping pushes don't race.

Also exposes workflow_dispatch for ad-hoc manual deploys.

Co-authored-by: Cursor <cursoragent@cursor.com>

Author: Amit Chowdhary

.github/workflows/deploy-docs.yml

@@ -0,0 +1,54 @@
+name: Deploy Docusaurus to GitHub Pages
+
+on:
+  push:
+    branches: [main]
+    paths:
+      - 'docs/**'
+      - '.github/workflows/deploy-docs.yml'
+  workflow_dispatch:
+
+permissions:
+  contents: write
+
+# Only one deploy at a time. Don't cancel an in-flight one — let it finish so
+# gh-pages history stays consistent.
+concurrency:
+  group: deploy-docs
+  cancel-in-progress: false
+
+jobs:
+  build-and-deploy:
+    name: Build and deploy
+    runs-on: ubuntu-latest
+    timeout-minutes: 10
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+
+      - name: Set up Node.js
+        uses: actions/setup-node@v4
+        with:
+          node-version: '22'
+          cache: 'npm'
+          cache-dependency-path: docs/package-lock.json
+
+      - name: Install dependencies
+        working-directory: docs
+        run: npm ci
+
+      - name: Build site
+        working-directory: docs
+        run: npm run build
+
+      - name: Deploy to gh-pages branch
+        uses: peaceiris/actions-gh-pages@v4
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: docs/build
+          publish_branch: gh-pages
+          user_name: 'github-actions[bot]'
+          user_email: '41898282+github-actions[bot]@users.noreply.github.com'
+          commit_message: 'docs: deploy ${{ github.sha }}'
+          force_orphan: false