Skip to content

Pull requests: gitpod-io/gitpod

Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Add pin command to CLI do-not-merge/hold size/M
#19139 opened Nov 24, 2023 by KevSlashNull Loading…
2 of 15 tasks
[WIP] tracing with open telemetry do-not-merge/hold do-not-merge/work-in-progress meta: stale This issue/PR is stale and will be closed soon size/XXL
#18865 opened Oct 4, 2023 by svenefftinge Draft
1 of 14 tasks
[wip] ZedTokens do-not-merge/hold do-not-merge/work-in-progress meta: stale This issue/PR is stale and will be closed soon size/XL
#18847 opened Sep 29, 2023 by geropl Draft
1 of 14 tasks
[wip] [usage] Introduce DBUsage.objectId (II/II) do-not-merge/hold do-not-merge/work-in-progress meta: stale This issue/PR is stale and will be closed soon size/L
#18846 opened Sep 29, 2023 by geropl Draft
1 of 14 tasks
Autofix: trailing-spaces do-not-merge/hold meta: stale This issue/PR is stale and will be closed soon size/XS
#18689 opened Sep 9, 2023 by autofix-bot Loading…
ProTip! no:milestone will show everything without a milestone.