Skip to content

Pull requests: gitpod-io/gitpod

New pull request New
Clear current search query, filters, and sorts
0 Open 306 Closed
0 Open 306 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

[common-log] Enable change of log level at runtime
#4433 by aledbf was merged Jun 15, 2021 Loading…
@csweichel
7
[dev] reverted images for werft
#4389 by JanKoehnlein was merged Jun 3, 2021 Loading…
@csweichel
8
[dev-image] Add support for pre-commit
#4189 by aledbf was merged Jun 15, 2021 Loading…
@csweichel
9
[supervisor info] don't fail workspace info if workspace root is removed
#3968 by akosyakov was merged Apr 16, 2021 Loading…
1
@AlexTugarev @csweichel @geropl
1
[dev-environment]: Add kubebuilder binaries
#3261 by aledbf was merged Feb 26, 2021 Loading…
@csweichel
1
[ws-scheduler] Respect ephemeral storage requests
#2304 by geropl was merged Nov 27, 2020 Loading…
1
@csweichel
5
ProTip! Updated in the last three days: updated:>2025-12-16.