Skip to content

Pull requests: gitpod-io/gitpod

New pull request New

Clear current search query, filters, and sorts

4 Open 264 Closed

Pull requests list

[JetBrains] Update Platform Version from JetBrains Backend Plugin (EAP) editor: jetbrains size/XS team: IDE team: team-experience

#20773 opened Apr 25, 2025 by roboquat

Loading...

5 tasks done

[JetBrains] Update Platform Version from JetBrains Gateway Plugin (Stable) editor: jetbrains size/XS team: IDE team: team-enterprise team: team-experience

#20877 opened Jun 5, 2025 by roboquat

Loading...

6 tasks done

[JetBrains] Update Platform Version from JetBrains Gateway Plugin (EAP) editor: jetbrains size/XS team: IDE team: team-experience

#20887 opened Jun 9, 2025 by roboquat

Loading...

6 tasks done

[JetBrains] Update IDE images to new build version editor: jetbrains size/M team: IDE team: team-enterprise team: team-experience

#20997 opened Aug 6, 2025 by roboquat

Loading...

5 of 6 tasks

ProTip! Type g p on any issue or pull request to go back to the pull request listing page.