Merge branch '4.1.x'

Closes gh-51800
This commit is contained in:
Phillip Webb
2026-09-16 17:31:28 -07:00
2 changed files with 3 additions and 11 deletions
@@ -292,7 +292,7 @@ For complete details, see the {url-spring-data-jpa-docs}[Spring Data JPA referen
[[data.sql.jpa-and-spring-data.envers-repositories]]
=== Spring Data Envers Repositories
If {url-spring-data-envers-site}[Spring Data Envers] is available, JPA repositories are auto-configured to support typical Envers queries.
If the {url-spring-data-jpa-site}[`spring-data-envers`] module from Spring Data JPA is available, JPA repositories are auto-configured to support typical Envers queries.
To use Spring Data Envers, make sure your repository extends from javadoc:org.springframework.data.repository.history.RevisionRepository[] as shown in the following example:
+2 -10
View File
@@ -2729,20 +2729,12 @@ bom {
.formatted(version.forAntora()))
releaseNotes("https://github.com/spring-projects/spring-data-elasticsearch/releases/tag/{version}")
}
module("spring-data-envers") {
site("https://spring.io/projects/spring-data-envers")
github("https://github.com/spring-projects/spring-data-envers")
javadoc(version -> "https://docs.spring.io/spring-data-envers/docs/%s/api"
.formatted(version.forMajorMinorGeneration()), "org.springframework.data.envers")
docs(version -> "https://docs.spring.io/spring-data-envers/reference/%s"
.formatted(version.forAntora()))
releaseNotes("https://github.com/spring-projects/spring-data-envers/releases/tag/{version}")
}
module("spring-data-jpa") {
site("https://spring.io/projects/spring-data-jpa")
github("https://github.com/spring-projects/spring-data-jpa")
javadoc(version -> "https://docs.spring.io/spring-data-jpa/docs/%s/api"
.formatted(version.forMajorMinorGeneration()), "org.springframework.data.jpa")
.formatted(version.forMajorMinorGeneration()),
"org.springframework.data.jpa", "org.springframework.data.envers")
docs(version -> "https://docs.spring.io/spring-data-jpa/reference/%s"
.formatted(version.forAntora()))
releaseNotes("https://github.com/spring-projects/spring-data-jpa/releases/tag/{version}")