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

Add SpiceDB to devcontainer for test execution size/XS

#21126 opened Oct 30, 2025 by csweichel

Loading...

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

#21098 opened Oct 14, 2025 by roboquat

Loading...

4 of 5 tasks

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

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

#21113 opened Oct 20, 2025 by Lawd-STAR

Loading...

2 of 15 tasks

2

ProTip! Filter pull requests by the default branch with base:main.