Skip to content
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

Antora #3080

Closed
wants to merge 22 commits into from
Closed

Antora #3080

wants to merge 22 commits into from

Conversation

rwinch
Copy link
Member

@rwinch rwinch commented Jul 20, 2023

Migrate Spring Data JPA to Antora.

  • You have read the Spring Data contribution guidelines.
  • You use the code formatters provided here and have them applied to your changes. Don’t submit any formatting related changes.
  • You submit test cases (unit or integration tests) that back your changes.
  • You added yourself as author in the headers of the classes you touched. Amend the date range in the Apache license header if needed. For new types, add the license header (copy from another file and set the current year only).

@spring-projects-issues spring-projects-issues added the status: waiting-for-triage An issue we've not yet triaged label Jul 20, 2023
gregturn pushed a commit that referenced this pull request Jul 21, 2023
@gregturn
Copy link
Contributor

Resolved via 454ce52.

@gregturn gregturn closed this Jul 21, 2023
@gregturn gregturn self-assigned this Jul 21, 2023
@gregturn gregturn added type: documentation A documentation update and removed status: waiting-for-triage An issue we've not yet triaged labels Jul 21, 2023
@gregturn gregturn added this to the 3.2 M2 (2023.1.0) milestone Jul 21, 2023
gregturn pushed a commit that referenced this pull request Jul 21, 2023
gregturn added a commit that referenced this pull request Aug 10, 2023
mp911de added a commit that referenced this pull request Aug 22, 2023
mp911de added a commit that referenced this pull request Aug 22, 2023
mp911de added a commit that referenced this pull request Aug 23, 2023
mp911de added a commit that referenced this pull request Aug 23, 2023
mp911de added a commit that referenced this pull request Sep 8, 2023
Refine navigation structure.

See #3080
mp911de added a commit that referenced this pull request Sep 8, 2023
Refine navigation structure.

See #3080
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.

3 participants