Skip to content

Support redirects with http client#497

Merged
XiaoxuanLu merged 1 commit intomainfrom
shruti0085/redirect
Aug 8, 2025
Merged

Support redirects with http client#497
XiaoxuanLu merged 1 commit intomainfrom
shruti0085/redirect

Conversation

@shruti0085
Copy link
Contributor

Description of changes:
Our http client does not support redirects. This blocks us from trying pre-release builds of the language server whose url often contains redirects. Adding this unblocks us from testing against those builds

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

@XiaoxuanLu XiaoxuanLu merged commit d7ad658 into main Aug 8, 2025
1 check passed
@XiaoxuanLu XiaoxuanLu deleted the shruti0085/redirect branch August 8, 2025 22:11
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.

3 participants