Skip to content

Pull requests: gitpod-io/gitpod

New pull request New

Clear current search query, filters, and sorts

7 Open 9,369 Closed

Pull requests list

Update images digests automated pr kind/cleanup release-note-none size/M team: team-enterprise

#21098 opened Oct 14, 2025 by roboquat

Loading...

updated Nov 3, 2025

4 of 5 tasks

[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...

updated Oct 31, 2025

5 of 6 tasks

[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...

updated Oct 31, 2025

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...

updated Oct 31, 2025

6 tasks done

[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...

updated Oct 31, 2025

5 tasks done

Add SpiceDB to devcontainer for test execution size/XS

#21126 opened Oct 30, 2025 by csweichel

Loading...

updated Oct 30, 2025

gitpod do-not-merge/hold meta: stale size/M

#21113 opened Oct 20, 2025 by Lawd-STAR

Loading...

updated Oct 30, 2025

2 of 15 tasks

2

ProTip! What’s not been updated in a month: updated:<2025年10月02日.