fix(core): give plugins from the same repository distinct extension ids#7676

Merged

wenshao merged 2 commits into

QwenLM:mainfrom

zjunothing:fix/7568-extension-id-plugin-name

Jul 25, 2026

Commits on Jul 24, 2026

fix(core): give plugins from the same repository distinct extension ids

zjunothing
and
claude
committed
test(core): pin case-insensitive matching in the store re-key migration

zjunothing
and
claude
committed