Merge branch 'refactor/migrate' into main

Phases 0–7 of the Obelisk engineering refactor: provider-adapter architecture (ADR-0001), shared persist + tx module, TypeScript workspace (packages/core), electron-vite app migration, writer-lease concurrency, and CI skill publish.
2026-07-12 01:12:32 +08:00
parent 942a08412a 410b0a8df3
commit 32a9b8d424
133 changed files with 33179 additions and 1108 deletions
@@ -0,0 +1,54 @@
+name: Publish Skill
+
+on:
+  push:
+    branches: [main]
+  workflow_dispatch:
+
+jobs:
+  publish:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - uses: actions/setup-node@v4
+        with:
+          node-version: '22'
+
+      - run: npm ci
+
+      - run: npm run build:skill
+
+      - name: Push to obelisk-skill
+        env:
+          DEPLOY_KEY: ${{ secrets.SKILL_REPO_DEPLOY_KEY }}
+        run: |
+          set -euo pipefail
+          mkdir -p ~/.ssh
+          echo "$DEPLOY_KEY" > ~/.ssh/skill_deploy
+          chmod 600 ~/.ssh/skill_deploy
+          export GIT_SSH_COMMAND="ssh -i ~/.ssh/skill_deploy -o StrictHostKeyChecking=no"
+
+          SKILL_DIR=$(mktemp -d)
+          git clone --depth 1 git@github.com:tommy0103/obelisk-skill.git "$SKILL_DIR" || {
+            # First push: init an empty repo
+            git init "$SKILL_DIR"
+            git -C "$SKILL_DIR" remote add origin git@github.com:tommy0103/obelisk-skill.git
+          }
+
+          # Replace all content with the fresh build
+          find "$SKILL_DIR" -mindepth 1 -not -path "$SKILL_DIR/.git*" -delete
+          cp -R dist/obelisk-skill/* "$SKILL_DIR/"
+          cp packaging/skill-README.md "$SKILL_DIR/README.md"
+          cp packaging/skill-LICENSE "$SKILL_DIR/LICENSE"
+
+          cd "$SKILL_DIR"
+          git add -A
+          if git diff --cached --quiet; then
+            echo "No changes to publish"
+            exit 0
+          fi
+          git config user.name "github-actions[bot]"
+          git config user.email "github-actions[bot]@users.noreply.github.com"
+          git commit -m "publish: $(date -u +%Y-%m-%dT%H:%M:%SZ) from tommy0103/obelisk@${GITHUB_SHA::7}"
+          git push --force origin HEAD:main