Skip to content

Conversation

@sigmavirus24
Copy link
Member

When repository URLs were altered to remove user information, we did not preserve the port. This fixes that by using the better library for munging the URL and adds tests to ensure no regression.

Closes #1111

When repository URLs were altered to remove user information, we did not
preserve the port. This fixes that by using the better library for
munging the URL and adds tests to ensure no regression.

Closes #1111
@sigmavirus24 sigmavirus24 merged commit 6fbf880 into main May 21, 2024
@sigmavirus24 sigmavirus24 deleted the bug/1111 branch May 21, 2024 22:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Repository port lost in get_repository_from_config when username is provided

2 participants