-
Notifications
You must be signed in to change notification settings - Fork 1.3k
Issues: gitpod-io/gitpod
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Can't start test instance: port 3000 not exposed
#3
by marcdumais-work
was closed May 10, 2018
updated May 10, 2018
starting "test" Theia instance only works once in a given terminal?
type: bug
Something isn't working
#2
by marcdumais-work
was closed May 10, 2018
updated May 10, 2018
Review added as "somefox" GH user
#6
by marcdumais-work
was closed May 16, 2018
updated May 16, 2018
Review comments not visible from Pull Request view
#5
by marcdumais-work
was closed Jun 22, 2018
updated Jun 22, 2018
[Issue Context] Always have default branch state
type: bug
Something isn't working
#10
by svenefftinge
was closed Jun 26, 2018
updated Jun 26, 2018
Consent Flow interrutps opening the GitPod Workspace
#15
by colemickens
was closed Jul 4, 2018
updated Jul 5, 2018
Add 'Search' to the default layout
type: feature request
New feature or request
#23
by svenefftinge
was closed Aug 28, 2018
updated Aug 28, 2018
[PR-comment] Comments should move with local changes
#14
by svenefftinge
was closed Aug 28, 2018
updated Aug 28, 2018
"integrated chat" on status bar non functional
#1
by marcdumais-work
was closed Aug 28, 2018
updated Aug 28, 2018
opening PR for first time, gitpod opens my "workspaces" page
#8
by marcdumais-work
was closed Aug 28, 2018
updated Aug 28, 2018
Cannot "open preferences" inside developed Theia application
#21
by paul-marechal
was closed Aug 31, 2018
updated Aug 31, 2018
Please include current Git branch in the Terminal prompt
type: feature request
New feature or request
#48
by jankeromnes
was closed Aug 31, 2018
updated Aug 31, 2018
Please add a link to the Browser Extensions on signed-in gitpod.io
#36
by jankeromnes
was closed Sep 2, 2018
updated Sep 2, 2018
Add a user config per gitpod profile
#66
by paul-marechal
was closed Sep 8, 2018
updated Sep 8, 2018
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.