Skip to content

[jb] GW plugin should respect GW configs (proxy, certificates, etc.) #10694

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
akosyakov opened this issue Jun 16, 2022 · 0 comments · Fixed by #10974
Closed

[jb] GW plugin should respect GW configs (proxy, certificates, etc.) #10694

akosyakov opened this issue Jun 16, 2022 · 0 comments · Fixed by #10974
Assignees
@akosyakov
Labels
editor: jetbrains team: IDE type: bug Something isn't working

Comments

@akosyakov
Copy link
Member

akosyakov commented Jun 16, 2022 •
edited
Loading

Bug description

See [1][2]

Both WebSocket and SSH connections should respect it.

See internal for implementation hints.

Steps to reproduce

See above.

Workspace affected

No response

Expected behavior

No response

Example repository

No response

Anything else?

No response
@akosyakov akosyakov added type: bug Something isn't working editor: jetbrains labels Jun 16, 2022
@akosyakov akosyakov changed the title [jb] GW plugin should respect GW proxy configs [jb] GW plugin should respect GW configs (proxy, certificates, etc.) Jun 27, 2022
@akosyakov akosyakov self-assigned this Jun 27, 2022
akosyakov added a commit that referenced this issue Jun 28, 2022
@akosyakov
[jb] fix #10694: respect GW user settings
f854ff8
@akosyakov akosyakov mentioned this issue Jun 28, 2022
Merged
1 task
akosyakov added a commit that referenced this issue Jun 28, 2022
@akosyakov
[jb] fix #10694: respect GW user settings
56f3468
roboquat pushed a commit that referenced this issue Jun 29, 2022
@akosyakov @roboquat
[jb] fix #10694: respect GW user settings
bd5d3ea
mustard-mh added a commit that referenced this issue Jul 8, 2022
@mustard-mh
Revert [jb] fix #10694: respect GW user settings
003495d
mustard-mh added a commit that referenced this issue Jul 8, 2022
@mustard-mh
Revert "[jb] fix #10694: respect GW user settings"
8b9e1d3 
This reverts commit bd5d3ea.
mrsimonemms pushed a commit that referenced this issue Jul 15, 2022
@akosyakov
[jb] fix #10694: respect GW user settings
eed82c1
flaming-codes pushed a commit to flaming-codes/gitpod that referenced this issue Aug 1, 2022
@akosyakov @flaming-codes
[jb] fix gitpod-io#10694: respect GW user settings
9fc124d
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@akosyakov akosyakov

Labels
editor: jetbrains team: IDE type: bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

[jb] respect GW user settings (proxies, certificates) gitpod-io/gitpod
1 participant
@akosyakov