Skip to content

Optimize gitpod config #59

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.

Sign up for GitHub

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

Jump to bottom
Merged
jmMeessen merged 1 commit into from
Sep 12, 2022
Merged

Optimize gitpod config #59

jmMeessen merged 1 commit into from
Sep 12, 2022

Conversation

@jmMeessen
Copy link
Contributor

@jmMeessen jmMeessen commented Sep 12, 2022

Removes the multiple JDKs installations in Gitpod as Java17 is not a requirement anymore for VSC plugins.

@jmMeessen jmMeessen enabled auto-merge September 12, 2022 18:09
gounthar
gounthar approved these changes Sep 12, 2022
View reviewed changes
Copy link
Contributor

@gounthar gounthar left a comment

Choose a reason for hiding this comment

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

LGTM.

Thanks 🙏 .

@jmMeessen jmMeessen merged commit 8159bb9 into jenkinsci:master Sep 12, 2022
@MarkEWaite MarkEWaite added the chore Reduces maintenance effort by changes not directly visible to users label Nov 9, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@gounthar gounthar gounthar approved these changes

@MarkEWaite MarkEWaite Awaiting requested review from MarkEWaite

Assignees

No one assigned

Labels

chore Reduces maintenance effort by changes not directly visible to users

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@jmMeessen @gounthar @MarkEWaite