Branch: refs/heads/main
Home: https://github.com/pmd/pmd
Commit: 7753d9e3e097624d5ddbc2bed95a4c1237019213
https://github.com/pmd/pmd/commit/7753d9e3e097624d5ddbc2bed95a4c1237019213
Author: Andreas Dangel <[email protected]>
Date: 2026-06-12 (Fri, 12 Jun 2026)
Changed paths:
M .ci/files/typos.toml
M do-release.sh
M docs/_data/sidebars/pmd_sidebar.yml
M docs/pages/pmd/userdocs/migrating_to_pmd7.md
M docs/pages/pmd/userdocs/tools/maven.md
A docs/pages/release_notes_old.html
R docs/pages/release_notes_old.md
A docs/pages/release_notes_old_pmd4.md
A docs/pages/release_notes_old_pmd5.md
A docs/pages/release_notes_old_pmd6.md
A docs/pages/release_notes_old_pmd7.md
A docs/pages/release_notes_old_pmd700_detail.md
R docs/pages/release_notes_pmd7.md
Log Message:
-----------
[doc] Split old release notes page (#6763)
* [doc] Split old release notes page
The page release_notes_old was getting so large,
that displaying it was noticeable. Splitting the old release
notes by version now.
Also removing the detailed release notes for pmd 7 into
the old release notes section in the menu.
* Fix dead links
* Update typos configuration
To unsubscribe from these emails, change your notification settings at
https://github.com/pmd/pmd/settings/notifications
_______________________________________________
Pmd-commits mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/pmd-commits
