chore(extensions): Rename plugins from marketplace to extensions#2006
Merged
christoph-jerolimov merged 7 commits intoredhat-developer:mainfrom Jan 12, 2026
Merged
Commits
Commits on Jan 10, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed