PRD 0046: Remove Git Remote Host Overrides #153

Merged
didericis merged 3 commits from prd-0047-remove-extra-hosts into main 2026-06-02 14:24:05 -04:00
Collaborator

Closes #152.

PRD: 46e596d0b1/docs/prds/0046-remove-git-remote-host-overrides.md

Summary

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)

  • be3defe docs(prd): add git remote host override removal plan
  • 941f316 feat(git-gate): remove git remote host override plumbing
  • a3a8a01 docs(prd): activate git remote host override removal
  • 46e596d docs(prd): renumber host override removal to 0046
Closes #152. PRD: https://gitea.dideric.is/didericis/bot-bottle/src/commit/46e596d0b170fe50b29040c92837594de5592b33/docs/prds/0046-remove-git-remote-host-overrides.md ## Summary 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) - `be3defe` docs(prd): add git remote host override removal plan - `941f316` feat(git-gate): remove git remote host override plumbing - `a3a8a01` docs(prd): activate git remote host override removal - `46e596d` docs(prd): renumber host override removal to 0046
didericis-codex added 3 commits 2026-06-02 14:18:09 -04:00
docs(prd): activate git remote host override removal
test / unit (pull_request) Successful in 33s
test / integration (pull_request) Successful in 44s
test / unit (push) Successful in 36s
test / integration (push) Successful in 52s
a3a8a01b09
didericis approved these changes 2026-06-02 14:23:54 -04:00
didericis merged commit a3a8a01b09 into main 2026-06-02 14:24:05 -04:00
didericis deleted branch prd-0047-remove-extra-hosts 2026-06-02 14:24:05 -04:00
didericis-codex changed title from PRD 0047: Remove Git Remote Host Overrides to PRD 0046: Remove Git Remote Host Overrides 2026-06-02 14:33:36 -04:00
Sign in to join this conversation.