I close the Lang PR and wrote a brief explanation. Gary
On Tue, May 19, 2026, 07:07 Alex Herbert <[email protected]> wrote: > On Tue, 19 May 2026 at 11:50, Gilles Sadowski <[email protected]> > wrote: > > > > Hi. > > > > Le mar. 19 mai 2026 à 11:57, handsomewu6688-design (via GitHub) > > <[email protected]> a écrit : > > > > > > > > > handsomewu6688-design opened a new pull request, #321: > > > URL: https://github.com/apache/commons-math/pull/321 > > > > What do we make of this? > > > > Regards, > > Gilles > > The similar PR opened against lang was the github account's first ever > PR. I suspect that more will be coming. > > I suggest posting a statement on one (all) of the PRs requesting this > action to stop since upgrade of the Java version for library jar files > will affect downstream users and is not a decision made without > discussion. If they persist then the user could be blocked. > > Alex > > > > > > > > > > ## Summary > > > > > > This PR upgrades the project from Java 8 to Java 17 using the > OpenRewrite org.openrewrite.java.migrate.UpgradeToJava17 recipe. > > > > > > ## Changes Applied > > > > > > - UpgradeJavaVersion: Updated source/target from 8 to 17 in pom.xml > > > - InstanceOfPatternMatch: Replaced instanceof + cast with pattern > matching > > > - AddSerialAnnotationToSerialVersionUID: Added @Serial annotation > > > - StringFormatted: Converted String.format to .formatted > > > - PathsGetToPathOf: Replaced Paths.get with Path.of > > > - UseTextBlocks: Converted multiline strings to text blocks > > > > > > ## Statistics > > > > > > - 129 files changed, 476 insertions, 270 deletions > > > - Estimated manual effort saved: 2 hours 52 minutes > > > > > > ## Verification > > > > > > - BUILD SUCCESS with JDK 17 > > > > > > ## Tool > > > > > > Recipe: org.openrewrite.java.migrate.UpgradeToJava17 > > > Plugin: rewrite-maven-plugin > > > Coordinates: org.openrewrite.recipe:rewrite-migrate-java:LATEST > > > > --------------------------------------------------------------------- > > To unsubscribe, e-mail: [email protected] > > For additional commands, e-mail: [email protected] > > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] > >
