From 80452ba728fc9e75107637ff4054d119b910291f Mon Sep 17 00:00:00 2001 From: mfowler Date: Tue, 16 Jun 2026 15:33:48 +0000 Subject: [PATCH] memory: add agent-orchestrator-benchmark to tangled mirrors --- memory/tangled-mirrors.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/memory/tangled-mirrors.md b/memory/tangled-mirrors.md index ce2be4c..9495aa5 100644 --- a/memory/tangled-mirrors.md +++ b/memory/tangled-mirrors.md @@ -7,10 +7,11 @@ metadata: originSessionId: 7ed8744a-1e31-4832-8cdc-3b726ab41f9a --- -`agent-orchestrator` and `project-orchestrator` are mirrored to **tangled.org**, owned by -`notplants.bsky.social` (DID `did:plc:3nogfd4smhmbrv4wo6kl7zg2`). Push URLs: +`agent-orchestrator`, `project-orchestrator`, and `agent-orchestrator-benchmark` are mirrored to +**tangled.org**, owned by `notplants.bsky.social` (DID `did:plc:3nogfd4smhmbrv4wo6kl7zg2`). Push URLs: - `git@tangled.org:did:plc:3nogfd4smhmbrv4wo6kl7zg2/agent-orchestrator` - `git@tangled.org:did:plc:3nogfd4smhmbrv4wo6kl7zg2/project-orchestrator` +- `git@tangled.org:did:plc:3nogfd4smhmbrv4wo6kl7zg2/agent-orchestrator-benchmark` **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