PRD 0047: Git-gate manifest redesign #162
Reference in New Issue
Block a user
Delete Branch "prd-0047-git-gate-manifest-redesign"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Closes #160.
PRD:
02d61e337f/docs/prds/0047-git-gate-manifest-redesign.mdSummary
git.remoteswith a top-levelgit-gate.repossection so it's clear the config is specifically for git-gate routing, not generic git or SSH config.Name,Upstream,IdentityFile,KnownHostKey) to snake_case (url,identity,host_key), with the local repo name promoted to the YAML key.git.userintogit-gate.user; removesgitas a top-level key entirely.git.*shape is rejected at parse time with errors pointing to the new keys.Changes (2 commits)
docs(prd): add git-gate manifest redesign plan— addsdocs/prds/0047-git-gate-manifest-redesign.mdas a Draft PRD.docs(prd): consolidate git.user into git-gate per review— movesuserundergit-gate, removesgitas a top-level key.Move user into
git-gateand removegitas a top level keyDone — updated.
gitis gone as a top-level key;git-gatenow carries bothuserandrepos. Agent manifests move fromgit.usertogit-gate.user(withreposstill rejected at the agent level). PRD updated in02d61e3.9cd2272498to3e50079bcc