chore: enable marketplace plugins and record docs.spring.io redirect finding - #251

Merged

amondnet merged 3 commits into

mainfrom

chore/settings-plugins

Sep 17, 2026

Commits on Sep 17, 2026

chore(settings): enable newly installed marketplace plugins
amondnet
committed
1131686
chore: record the docs.spring.io version-collapse finding in agent memory
amondnet
committed
762032f
docs(memory): scope the docs.spring.io collapse to reference-site layouts
amondnet
committed
86954d6