Skip to content

Conversation

@christophstrobl
Copy link
Member

@christophstrobl christophstrobl commented Oct 23, 2025

Do not merge jet, but collect documentation updates here.

Closes: #5078

christophstrobl and others added 5 commits November 12, 2025 08:31
Recommend using driver native API for observability.

See: #5009
Removed generic AOT documentation with a reference to the section in Spring Data Commons.

See: spring-projects/spring-data-commons#3384
@christophstrobl christophstrobl marked this pull request as ready for review November 12, 2025 08:55
schauder pushed a commit that referenced this pull request Nov 13, 2025
Recommend using driver native API for observability.

See #5009
See #5078
Original pull request #5080
schauder added a commit that referenced this pull request Nov 13, 2025
schauder pushed a commit that referenced this pull request Nov 13, 2025
See #5078
Original pull request #5080
schauder added a commit 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
schauder pushed a commit that referenced this pull request Nov 13, 2025
schauder pushed a commit that referenced this pull request Nov 13, 2025
schauder pushed a commit that referenced this pull request Nov 13, 2025
See #5078
Original pull request #5080
schauder pushed a commit that referenced this pull request Nov 13, 2025
schauder pushed 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
Added recommendation for Mongos native observability features in Javadoc.

Fixed minor typo.

Original pull request #5080
See #5078
@schauder
Copy link
Contributor

Merged.

@schauder schauder closed this Nov 13, 2025
@schauder schauder added the type: documentation A documentation update label Nov 13, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: documentation A documentation update

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Update Documentation

3 participants