PRD 0046: Remove Git Remote Host Overrides #153
Reference in New Issue
Block a user
Delete Branch "prd-0047-remove-extra-hosts"
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 #152.
PRD:
46e596d0b1/docs/prds/0046-remove-git-remote-host-overrides.mdSummary
Removes git remote host override plumbing from manifests, git-gate upstream plans, Docker compose sidecar rendering, smolmachines bundle launch planning, tests, and current documentation. PRD numbering was corrected from 0047 to 0046 after the SSH config provisioning PRD was abandoned.
Changes (4 commits)
be3defedocs(prd): add git remote host override removal plan941f316feat(git-gate): remove git remote host override plumbinga3a8a01docs(prd): activate git remote host override removal46e596ddocs(prd): renumber host override removal to 0046PRD 0047: Remove Git Remote Host Overridesto PRD 0046: Remove Git Remote Host Overrides