Skip to content

Introduce ws-manager-mk2 #15637

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

Closed
wants to merge 30 commits into from
Closed

Introduce ws-manager-mk2 #15637

wants to merge 30 commits into from

Conversation

Furisto
Copy link
Member

@Furisto Furisto commented Jan 9, 2023

Description

Related Issue(s)

Fixes #

How to test

Release Notes

Documentation

Werft options:

  • /werft with-local-preview
    If enabled this will build install/preview
  • /werft with-preview
  • /werft with-large-vm
  • /werft with-integration-tests=all
    Valid options are all, workspace, webapp, ide, jetbrains, vscode, ssh
    /werft with-wsman-mk2=true

@roboquat
Copy link
Contributor

roboquat commented Jan 9, 2023

@Furisto: Adding the "do-not-merge/release-note-label-needed" label because no release-note block was detected, please follow our release note process to remove it.

Instructions for interacting with me using PR comments are available here. If you have questions or suggestions related to my behavior, please file an issue against the kubernetes/test-infra repository.

@werft-gitpod-dev-com
Copy link

started the job as gitpod-build-fo-ws-manager-mk2.1 because the annotations in the pull request description changed
(with .werft/ from main)

@Furisto Furisto force-pushed the fo/ws-manager-mk2 branch from be203cc to 25d1306 Compare January 9, 2023 14:44
@Furisto Furisto self-assigned this Jan 12, 2023
@Furisto Furisto added the team: workspace Issue belongs to the Workspace team label Jan 12, 2023
@kylos101
Copy link
Contributor

@Furisto is this PR still needed? I assume no, and can be closed w/o merge (because #9596 was merged).

@Furisto Furisto closed this Jan 23, 2023
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.

5 participants