-
Notifications
You must be signed in to change notification settings - Fork 1.3k
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
[server] fix ide option not exists bug #9541
Conversation
How to reproduce the original issue from UI? |
We can't. This is part of #9467 RP's commit. cc @akosyakov |
I wrote function How can we avoid this to happen? Write test cases first to drive code? Ask someone else to input more test cases? cc @akosyakov |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM
@geropl could you have a look? |
@akosyakov Will do after all-hands. 👍 |
/werft run 👍 started the job as gitpod-build-hw-fix-ide-choose.1 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Code LGTM, tests are green ✔️
Description
Fix function
chooseIDE
func not cover not exists IDE idRelated Issue(s)
Fixes #
How to test
Open Gitpod with this PR, exec
Release Notes
Documentation