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

Use Java 8 and 11 language features where possible #31

Merged
merged 1 commit into from Jun 25, 2022

Conversation

basil
Copy link
Member

@basil basil commented Jun 25, 2022

No description provided.

@basil basil added the internal label Jun 25, 2022
@basil basil requested a review from a team as a code owner June 25, 2022 16:37
@basil basil merged commit 114461d into jenkinsci:master Jun 25, 2022
@basil basil deleted the java11 branch June 25, 2022 16:47
@jglick
Copy link
Member

jglick commented Jun 27, 2022

This was cosmetic I guess? Makes incoming...master even bigger. Not sure whether we care or not.

@basil
Copy link
Member Author

basil commented Jun 27, 2022

I think at this point we are the repository of record for Jelly. Certainly I doubt anyone else is using it to the degree we are.

@jglick
Copy link
Member

jglick commented Jun 27, 2022

OK. This would be a consideration if we wished to unfork it at some point. I do not recall having studied the situation.

@basil
Copy link
Member Author

basil commented Jun 27, 2022

if we wished to unfork it at some point

That is presuming that there exists some upstream entity maintaining Jelly. I do not think anybody is actively maintaining Jelly upstream. In other words, I think we have become the de facto repository of record for Jelly.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants