From e89b963e980e91a5a56f0f0a714989827c2bcf49 Mon Sep 17 00:00:00 2001
From: Roscoe Rubin-Rottenberg <roscoe@knotbin.com>
Date: Thu, 23 Apr 2026 09:58:29 -0400
Subject: [PATCH] chore: tangled sync

---
 .github/workflows/tangled.yaml | 37 ++++++++++++++++++++++++++++++++++
 1 file changed, 37 insertions(+)
 create mode 100644 .github/workflows/tangled.yaml

diff --git a/.github/workflows/tangled.yaml b/.github/workflows/tangled.yaml
new file mode 100644
index 0000000..023f36d
--- /dev/null
+++ b/.github/workflows/tangled.yaml
@@ -0,0 +1,37 @@
+name: tangled
+
+on:
+  push:
+
+jobs:
+  sync:
+    runs-on: blacksmith-4vcpu-ubuntu-2404
+    steps:
+      - uses: actions/checkout@v4.1.7
+        with:
+          fetch-depth: 0
+          ref: ${{ github.event.pull_request.head.sha }}
+      - name: sync tangled
+        env:
+          TANGLED_SSH_KEY: ${{ secrets.TANGLED_SSH_KEY }}
+        run: |
+          set -euo pipefail
+          # Turn off strict SSH key checking
+          mkdir -p ~/.ssh
+          echo "Host *
+            StrictHostKeyChecking no
+            UserKnownHostsFile=/dev/null" > ~/.ssh/config
+
+          # Write SSH key to disk
+          echo "$TANGLED_SSH_KEY" > ~/.ssh/tangled_key
+          chmod 600 ~/.ssh/tangled_key
+
+          # Configure SSH to use the key for tangled.sh
+          echo "Host tangled.sh
+            IdentityFile ~/.ssh/tangled_key" >> ~/.ssh/config
+
+          chmod 600 ~/.ssh/config
+
+          git remote add tangled git@tangled.sh:sprk.so/server
+          git push -f --all tangled
+          git push -f --tags tangled
-- 
2.51.2