Skip to content
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

HotFix: Fix the typo and keep code-server case-sensitive #122

Merged
merged 1 commit into from
Jan 25, 2024

Conversation

harshad16
Copy link
Member

@openshift-ci openshift-ci bot requested review from atheo89 and dibryant January 25, 2024 12:09
@atheo89
Copy link
Member

atheo89 commented Jan 25, 2024

/lgtm

opendatahub.io/notebook-image-name: "Code server"
opendatahub.io/notebook-image-desc: "Code server workbench allows users to code, build, and collaborate on projects directly from web."
opendatahub.io/notebook-image-name: "code-server"
opendatahub.io/notebook-image-desc: "code-server workbench allows users to code, build, and collaborate on projects directly from web."
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@jstourac collaborate? Do you know what feature this refers to specifically? Can more than one person access the code-server at the same time and use the web ui?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

all the workbenches can be accessed at the same time if the owner of the workbench provides access to the user.
example:
if multiple people have access to a DS project.
they all can use all the workbenches spined up in the DS project.

@@ -17,7 +17,7 @@ spec:
# N Version of the image
- annotations:
opendatahub.io/notebook-software: '[{"name":"Python","version":"v3.9"}]'
opendatahub.io/notebook-python-dependencies: '[{"name":"Code-sever","version":"4.16"}]'
opendatahub.io/notebook-python-dependencies: '[{"name":"code-server","version":"4.16"}]'
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

+1, looks better than Code-server to me

@harshad16
Copy link
Member Author

As both QA and Dev team have signed off
Merging this in.

@harshad16
Copy link
Member Author

/approve

Copy link

openshift-ci bot commented Jan 25, 2024

[APPROVALNOTIFIER] This PR is APPROVED

This pull-request has been approved by: harshad16, jiridanek

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 /approve in a comment
Approvers can cancel approval by writing /approve cancel in a comment

@harshad16 harshad16 merged commit 0c19110 into red-hat-data-services:release-2023b Jan 25, 2024
4 of 6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants