Skip to content
GitLab
Next
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Open
1
Merged
5
Closed
1
All
7
Merge trains
Recent searches
Loading
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
feat: Split up web-ide and workspaces patches
!101
· created
Sep 23, 2024
by
Paul Slaughter
17.5
Category:Web IDE
devops
create
feature
enhancement
frontend
group
remote development
priority
1
section
dev
severity
1
type
feature
Merged
13
1
Approved
updated
Sep 26, 2024
feat: Update extensions view gl_mod with extensionsGallery check
!78
· created
Apr 15, 2024
by
Paul Slaughter
17.0
Category:Web IDE
devops
create
feature
enhancement
group
remote development
section
dev
type
feature
Merged
4
Approved
updated
Apr 17, 2024
feat: Proxy extHost load module through messagePort
!76
· created
Mar 04, 2024
by
Paul Slaughter
devops
create
feature
enhancement
group
remote development
section
dev
type
feature
Merged
8
Approved
updated
May 08, 2024
fix: Don't show "Source:" on GitLab extensions
!58
· created
Aug 30, 2023
by
Paul Slaughter
devops
create
feature
enhancement
group
remote development
section
dev
type
feature
1
updated
Oct 24, 2024
feat: remove hardcoded vscode-cdn references
!49
· created
Jul 13, 2023
by
Paul Slaughter
16.3
devops
create
feature
enhancement
group
remote development
section
dev
type
feature
Merged
17
Approved
updated
Jul 25, 2023
Remove download action from the remote indicator status bar menu
!33
· created
Jan 06, 2023
by
Enrique Alcántara
15.8
devops
create
feature
enhancement
frontend
group
editor [DEPRECATED]
section
dev
type
feature
Closed
2
updated
Jan 06, 2023
Remove IndexDB for logs and files out of caution
!27
· created
Dec 10, 2022
by
Paul Slaughter
15.7
devops
create
feature
enhancement
group
editor [DEPRECATED]
section
dev
type
feature
Merged
8
Approved
updated
May 10, 2024