Avoid displaying prebuild-related workspaces in the workspaces list from JetBrains Gateway #12074

felladrin · 2022-08-11T18:14:49Z

Description

These changes ensure that only regular workspaces are added to the workspaces list from JetBrains Gateway.

Ensure you have the latest JetBrains Gateway installed.
Download the plugin build related to this branch in Dev Versions, and install it on the Gateway.
Start a manual prebuild of one of your workspaces.
Confirm the Prebuild instance doesn't appear on the workspaces list from JetBrains Gateway.
- Note: After the prebuild finishes, it will open the workspace. At this moment, it's fine the workspace appears in the list, as now it's a regular workspace that is starting.

NONE

…rom JetBrains Gateway

andreafalzetti

Tested and it works as advertised 🎉

Avoid displaying prebuild-related workspaces in the workspaces list f…

bb5a0b2

…rom JetBrains Gateway

felladrin requested a review from a team August 11, 2022 18:14

roboquat added release-note-none size/S labels Aug 11, 2022

github-actions bot added the team: IDE label Aug 11, 2022

felladrin self-assigned this Aug 11, 2022

felladrin added the editor: jetbrains label Aug 11, 2022

felladrin requested a review from andreafalzetti August 11, 2022 18:17

andreafalzetti approved these changes Aug 11, 2022

View reviewed changes

roboquat merged commit 6a52dbf into main Aug 11, 2022

roboquat deleted the felladrin/11450-fix-workspaces-list-on-jetbrains-gateway branch August 11, 2022 19:23

roboquat added deployed: IDE IDE change is running in production deployed Change is completely running in production labels Aug 12, 2022