Skip to content

Conversation

@aaronlehmann
Copy link
Contributor

Instead of listing all workspaces matching the filter, get info about the specific workspace the user is trying to connect to. This lets jetbrains-gateway:// links to others' workspaces work without needing to modify the workspace filter parameter.

…ature

Instead of listing all workspaces matching the filter, get info about
the specific workspace the user is trying to connect to. This lets
jetbrains-gateway:// links to others' workspaces work without needing to
modify the workspace filter parameter.
Copy link
Contributor

@bcpeinhardt bcpeinhardt left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@bcpeinhardt bcpeinhardt merged commit 74ad635 into coder:main Mar 7, 2025
5 checks passed
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.

2 participants