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

Author	SHA1	Message	Date
didericis-codex	a3a8a01b09	docs(prd): activate git remote host override removal test / unit (pull_request) Successful in 33s Details test / integration (pull_request) Successful in 44s Details test / unit (push) Successful in 36s Details test / integration (push) Successful in 52s Details	2026-06-02 18:17:29 +00:00
didericis-codex	941f316462	feat(git-gate): remove git remote host override plumbing	2026-06-02 18:17:24 +00:00
didericis-codex	be3defe5d8	docs(prd): add git remote host override removal plan	2026-06-02 18:16:24 +00:00