From cb8e0711492711ccfb7d24bfe2ec9c0404e00815 Mon Sep 17 00:00:00 2001 From: mfowler Date: Tue, 16 Jun 2026 15:30:39 +0000 Subject: [PATCH] memory: note auto-mirror dual-push setup --- memory/tangled-mirrors.md | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/memory/tangled-mirrors.md b/memory/tangled-mirrors.md index 0263189..ce2be4c 100644 --- a/memory/tangled-mirrors.md +++ b/memory/tangled-mirrors.md @@ -12,10 +12,13 @@ metadata: - `git@tangled.org:did:plc:3nogfd4smhmbrv4wo6kl7zg2/agent-orchestrator` - `git@tangled.org:did:plc:3nogfd4smhmbrv4wo6kl7zg2/project-orchestrator` -Both repos have a `tangled` remote (origin stays `git.autonomic.zone`). Re-mirror after pushing to -origin with: `git push tangled main` (and `git push tangled --tags`). Tangled's git SSH wants **DIDs, -not handles**, in the path; the `Welcome to Tangled's hosted knot!` line is just a banner (not an -error). +**Auto-mirror is configured:** `origin` in both repos has TWO push URLs (git.autonomic.zone AND +tangled), so a plain `git push origin ` fans out to both — no separate step. Set up with +`git remote set-url --add --push origin ` then `… --add --push origin ` (the first +`--add` replaces the fetch-url default, so the primary must be re-added too). A standalone `tangled` +remote also exists for explicit `git push tangled …`. Tangled's git SSH wants **DIDs, not handles**, +in the path; the `Welcome to Tangled's hosted knot!` line is just a banner (not an error). If tangled +is unreachable, `git push origin` reports a failure for that target only. Auth: dedicated key `~/.ssh/tangled-ed25519`, registered to the tangled bot account `notplants-bot.bsky.social` (the bot's own DID is `did:plc:qfngkejlw4ghji2myc73hbdh`); `~/.ssh/config`