-
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
[JetBrains Gateway] "Client authentication failed: Invalid redirect_uri" when trying to login in Gitpod
editor: jetbrains
meta: never-stale
This issue can never become stale
team: IDE
type: bug
Something isn't working
#14935
opened Nov 24, 2022 by
felladrin
Add a button to VS Code Ports View that adds the port to .gitpod.yml in case it's missing there
aspect: desktop IDE
aspect: user config drift
Gitpod UX ephemerality where users mutate their environment but forget to update their configuration
editor: code (browser)
editor: code (desktop)
feature: ports
meta: never-stale
This issue can never become stale
team: IDE
type: improvement
Improves an existing feature or existing code
#13069
opened Sep 19, 2022 by
felladrin
[gp-cli] gp url should respect port forwarding
component: gp cli
editor: code (browser)
editor: code (desktop)
editor: jetbrains
meta: never-stale
This issue can never become stale
team: IDE
type: improvement
Improves an existing feature or existing code
#11849
opened Aug 3, 2022 by
felladrin
Dashboard: Can't delete workspaces which failed to be created due to lack of memory on pod
meta: never-stale
This issue can never become stale
team: webapp
Issue belongs to the WebApp team
type: bug
Something isn't working
#8274
opened Feb 17, 2022 by
felladrin
ProTip!
Exclude everything labeled
bug
with -label:bug.