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

Fixed compile error #6193

Merged
merged 1 commit into from
Oct 13, 2021
Merged

Fixed compile error #6193

merged 1 commit into from
Oct 13, 2021

Conversation

meysholdt
Copy link
Member

@meysholdt meysholdt commented Oct 13, 2021

Release Notes

NONE

@aledbf
Copy link
Member

aledbf commented Oct 13, 2021

/lgtm
/approve no-issue

@roboquat
Copy link
Contributor

LGTM label has been added.

Git tree hash: c86ea4832560688b40caa36f352f89b1590a2470

@roboquat
Copy link
Contributor

[APPROVALNOTIFIER] This PR is APPROVED

This pull-request has been approved by: aledbf

Associated issue requirement bypassed by: aledbf

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

@aledbf
Copy link
Member

aledbf commented Oct 13, 2021

/werft run

👍 started the job as gitpod-build-me-fix2.2

@aledbf
Copy link
Member

aledbf commented Oct 13, 2021

/werft run no-preview

👍 started the job as gitpod-build-me-fix2.3

@aledbf
Copy link
Member

aledbf commented Oct 13, 2021

/werft run no-preview

👍 started the job as gitpod-build-me-fix2.4

@roboquat roboquat merged commit 4e89f0f into main Oct 13, 2021
@roboquat roboquat deleted the me/fix2 branch October 13, 2021 16:42
@roboquat roboquat added deployed: workspace Workspace team change is running in production deployed Change is completely running in production labels Oct 31, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
approved deployed: workspace Workspace team change is running in production deployed Change is completely running in production release-note size/M team: workspace Issue belongs to the Workspace team
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants