Skip to content

Conversation

@christophstrobl
Copy link
Member

Do not merge right away - rather generic to capture various documentation changes.

@christophstrobl christophstrobl linked an issue Oct 21, 2025 that may be closed by this pull request
schauder added a commit to spring-projects/spring-data-mongodb that referenced this pull request Nov 5, 2025
Removed all the generic AOT documentation with a reference to the section in Spring Data Commons

See #spring-projects/spring-data-commons#3384
christophstrobl pushed a commit to spring-projects/spring-data-mongodb that referenced this pull request Nov 12, 2025
Removed generic AOT documentation with a reference to the section in Spring Data Commons.

See: spring-projects/spring-data-commons#3384
christophstrobl added a commit to spring-projects/spring-data-jpa that referenced this pull request Nov 12, 2025
@christophstrobl christophstrobl marked this pull request as ready for review November 13, 2025 09:21
schauder added a commit to spring-projects/spring-data-mongodb that referenced this pull request Nov 13, 2025
Removed generic AOT documentation with a reference to the section in Spring Data Commons.

See spring-projects/spring-data-commons#3384
See #5078
Original pull request #5080
schauder pushed a commit that referenced this pull request Nov 13, 2025
Original pull request #3384
See #3383
schauder added a commit that referenced this pull request Nov 13, 2025
schauder pushed a commit that referenced this pull request Nov 13, 2025
schauder added a commit that referenced this pull request Nov 13, 2025
Fine tuned wording.
Fixed a minor typo.

Original pull request #3384
See #3383
@schauder
Copy link
Contributor

That's polished and merged.

@schauder schauder closed this Nov 13, 2025
@schauder schauder added this to the 4.0 GA (2025.1.0) milestone Nov 13, 2025
@mp911de mp911de deleted the issue/3383 branch November 14, 2025 08:48
@mp911de
Copy link
Member

mp911de commented Nov 14, 2025

@schauder please remove branches after merging these.

mp911de pushed a commit to spring-projects/spring-data-jpa that referenced this pull request Nov 14, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Update Documentation

4 participants