-
Notifications
You must be signed in to change notification settings - Fork 1.2k
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
use ide-proxy provide ide logo #7227
Conversation
Codecov Report
@@ Coverage Diff @@
## main #7227 +/- ##
========================================
- Coverage 8.38% 7.58% -0.80%
========================================
Files 33 31 -2
Lines 2410 2242 -168
========================================
- Hits 202 170 -32
+ Misses 2204 2070 -134
+ Partials 4 2 -2
Flags with carried forward coverage won't be shown. Click here to find out more.
Continue to review full report at Codecov.
|
We need to think how we are going to deploy these changes, since they affect @gitpod-io/engineering-meta components. |
/werft run 👍 started the job as gitpod-build-pd-ide-proxy.2 |
|
e315774
to
692ea7b
Compare
ready for review |
/lgtm Please unhold when the order of the deployment is clear. Look like we should deploy IDE first, then meta. |
LGTM label has been added. Git tree hash: 659fb5f5acc0d48f16f2efc68c5ba1e6a9cbb672
|
I think it looks good, now we need to wait till the ide proxy is deployed.
Yes, I think we need to think about backward compatibility here:
|
Just deploy the ide-proxy on prod first and test it OK, then merge this PR and wait for the meta to be deployed. |
That's not necessary going to work, we have to deploy server configs regularly to bring new supervisor or some IDEs. |
OK |
This pull request has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions. |
Is anybody still working on this? If not, I'd close it or at least unassign |
Currently waiting platform team apply terraform to production once this done, we can merge this PR |
I will unassign |
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
/hold
remove hold if you synced with meta deployment and sure that merging and deploying it now does not break production
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
LGTM label has been added. Git tree hash: 9bcaacc1b03e014f678aac27622932823ca49632
|
[APPROVALNOTIFIER] This PR is APPROVED This pull-request has been approved by: akosyakov, JanKoehnlein Associated issue: #6955 The full list of commands accepted by this bot can be found here. The pull request process is described here
Needs approval from an approver in each of these files:
Approvers can indicate their approval by writing |
/unhold |
Description
use ide-proxy provide ide logo
Related Issue(s)
Fixes #6955
How to test
Release Notes
Documentation