Repository navigation

Select port-specific Git credentials during head resolution - #37

Merged

jacobprall merged 3 commits into

mainfrom

codex/issue-28-git-credential-port

Oct 28, 2026

Merged

Select port-specific Git credentials during head resolution#37
jacobprall merged 3 commits into
mainfrom
codex/issue-28-git-credential-port

Commits on Oct 27, 2026
- Normalize HTTPS Git credential hosts consistently
  starmorph
  committed
  cc795bb
Commits on Oct 28, 2026
- Merge remote-tracking branch 'origin/main' into codex/issue-28-git-credential-port
  jacobprall
  committed
  940264e
- Reduce the port fix to URL.host in head resolution
  
  jacobprall
  and
  cursoragent
  committed
  4108e9d