Branch: refs/heads/gh-pages
  Home:   https://github.com/pmd/pmd
  Commit: 720e24cb9a15588cdc90b6a3292df175d41227c0
      https://github.com/pmd/pmd/commit/720e24cb9a15588cdc90b6a3292df175d41227c0
  Author: PMD CI (pmd-bot) <pmd-...@users.noreply.github.com>
  Date:   2023-04-19 (Wed, 19 Apr 2023)

  Changed paths:
    M feed.xml
    M pmd_projectdocs_committers_main_landing_page.html
    M pmd_projectdocs_committers_releasing.html
    M pmd_release_notes.html
    M pmd_release_notes_old.html
    M pmd_rules_swift_bestpractices.html
    M pmd_rules_swift_errorprone.html
    M report-examples/pmd-report.sarif.json
    M sitemap.xml

  Log Message:
  -----------
  Update documentation

https://github.com/pmd/pmd/actions/runs/4739138182
https://github.com/pmd/pmd/compare/08d362aa6667...740dc2d47b5c




_______________________________________________
Pmd-commits mailing list
Pmd-commits@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/pmd-commits

Reply via email to