Your calm window into the Atmosphere.
morgen.blue
rss
atproto
chore(repo): add sync:tangled script to mirror GitHub → Tangled
Keeps the Tangled mirror in sync after branches are deleted via the GitHub web UI, where the dual-push origin can't propagate the deletion.
Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
+18
+1
package.json
+1
package.json
+17
scripts/sync-tangled.sh
+17
scripts/sync-tangled.sh
···
1
+
#!/usr/bin/env sh
2
+
set -eu
3
+
4
+
TANGLED_URL="git@tangled.org:dominik.social/morgenblau"
5
+
6
+
if ! git remote get-url tangled >/dev/null 2>&1; then
7
+
echo "Adding 'tangled' remote → $TANGLED_URL"
8
+
git remote add tangled "$TANGLED_URL"
9
+
fi
10
+
11
+
echo "Pruning deleted branches from origin (GitHub)…"
12
+
git fetch origin --prune
13
+
14
+
echo "Mirroring local refs to tangled…"
15
+
git push --mirror tangled
16
+
17
+
echo "Done. Tangled now matches GitHub."