1.2 KiB
name, description, metadata
| name | description | metadata | ||||||
|---|---|---|---|---|---|---|---|---|
| tangled-mirrors | Both repos are mirrored to tangled.org; how to push there |
|
agent-orchestrator and project-orchestrator are mirrored to tangled.org, owned by
notplants.bsky.social (DID did:plc:3nogfd4smhmbrv4wo6kl7zg2). Push URLs:
git@tangled.org:did:plc:3nogfd4smhmbrv4wo6kl7zg2/agent-orchestratorgit@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).
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
has a Host tangled.org block pointing IdentityFile at it. The PO repo's git identity is set
locally (see git-identity-local) and the standing rule is always-commit-and-push.