runtime: port-preserving credential strip (R84 follow-up, re-applied) #5

Merged
treegent-admin merged 1 commit from fix/r84-port-followup into main 2026-10-19 06:07:03 +00:00
Member

Re-applies the port fix lost when the r84 branch was fast-forward merged. hostname drops :8443; rebuild host:port. One-file change, verified with :8443 + userinfo. runtime suite green on the branch.

Re-applies the port fix lost when the r84 branch was fast-forward merged. hostname drops :8443; rebuild host:port. One-file change, verified with :8443 + userinfo. runtime suite green on the branch.
Re-applies the follow-up lost when the r84 branch was fast-forward
merged: urlsplit().hostname drops a non-default port, silently
rewriting a :8443 policy URL to the wrong endpoint. Rebuild
host:port, userinfo still stripped.
treegent-admin deleted branch fix/r84-port-followup 2026-10-19 06:07:06 +00:00
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: NSTERN/TreeGent#5
No description provided.