Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Java: rename springframework stubs directory from 5.3.8 to 5.8.x #18978

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

Merged

Conversation

jcogs33
Copy link
Contributor

@jcogs33 jcogs33 commented Mar 11, 2025

This PR updates the springframework stubs directory name from 5.3.8 to 5.8.x. This is a follow-up to #18793 (comment), which added some Spring stubs from version 5.8.x.

Let me know if it would be better to simply remove the version from the stub directory name so that this does not need to be updated again. There are already a few stubs directories that do not specify a version in their name.

@github-actions github-actions bot added the Java label Mar 11, 2025
@jcogs33 jcogs33 added the no-change-note-required This PR does not need a change note label Mar 11, 2025
@jcogs33 jcogs33 marked this pull request as ready for review March 11, 2025 20:19
@Copilot Copilot AI review requested due to automatic review settings March 11, 2025 20:19
@jcogs33 jcogs33 requested a review from a team as a code owner March 11, 2025 20:19
Copy link
Contributor

@Copilot Copilot AI left a comment

Choose a reason for hiding this comment

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

Copilot reviewed 293 out of 293 changed files in this pull request and generated no comments.

Tip: Copilot code review supports C#, Go, Java, JavaScript, Markdown, Python, Ruby and TypeScript, with more languages coming soon. Learn more

@jcogs33 jcogs33 merged commit 269f9fa into github:main Mar 11, 2025
9 checks passed
@jcogs33 jcogs33 deleted the jcogs33/java/rename-springframework-stubs-dir branch March 11, 2025 20:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Java no-change-note-required This PR does not need a change note
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants