Skip to content

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

Reduce the port fix to URL.host in head resolution

4108e9d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar