chore: update demo manifest and example agent to git-gate (PRD 0047)

bot-bottle.demo.json: git array → git-gate.repos with url/identity/host_key
examples/agents/implementer.md: git.user → git-gate.user
This commit is contained in:
2026-06-03 03:56:09 +00:00
committed by didericis
parent 4cf2cfc55d
commit cf9aaf68e7
2 changed files with 9 additions and 8 deletions
+8 -7
View File
@@ -4,14 +4,15 @@
"env": { "env": {
"FAKE_TOKEN": "ghp_aB3cD4eF5gH6iJ7kL8mN9oP0qR1sT2uV3wX4yZ" "FAKE_TOKEN": "ghp_aB3cD4eF5gH6iJ7kL8mN9oP0qR1sT2uV3wX4yZ"
}, },
"git": [ "git-gate": {
{ "repos": {
"Name": "foo", "foo": {
"Upstream": "ssh://git@upstream.invalid/path.git", "url": "ssh://git@upstream.invalid/path.git",
"IdentityFile": "~/.cache/bot-bottle-demo/fake-key", "identity": "~/.cache/bot-bottle-demo/fake-key",
"KnownHostKey": "ssh-ed25519 AAAAEXAMPLE" "host_key": "ssh-ed25519 AAAAEXAMPLE"
}
} }
] }
} }
}, },
+1 -1
View File
@@ -5,7 +5,7 @@ model: opus
bottle: dev bottle: dev
skills: skills:
- init-prd - init-prd
git: git-gate:
user: user:
name: implementer-bot name: implementer-bot
email: eric+implementer@dideric.is email: eric+implementer@dideric.is