Add `specify integration` subcommand for post-init integration management#2083

Merged

mnriem merged 17 commits intomainfrom

copilot/add-specify-integration-subcommand

Apr 3, 2026

Commits on Apr 3, 2026

Initial plan
Copilot
authored
Add specify integration subcommand (list, install, uninstall, switch)

Copilot
and
mnriem
authored
Address review feedback: extract helper, fix return type annotation

Copilot
and
mnriem
authored
Potential fix for pull request finding 'Unused import'

mnriem
and
github-code-quality[bot]
authored
Address review feedback: validate script type, handle --flag=value, fix metadata cleanup
mnriem
committed
Block --force with different integration, persist script type in init-options
mnriem
committed
Remove --force from integration install, ensure shared infra on install/switch
mnriem
committed
Remove redundant installed_key != key check
mnriem
committed
Run shared infra unconditionally, defer metadata removal in switch
mnriem
committed
Add install rollback, graceful manifest errors, clear switch metadata
mnriem
committed
Log rollback failures instead of silently suppressing them
mnriem
committed
Handle corrupt manifest in switch, distinguish unknown vs missing manifest
mnriem
committed
Clean up metadata on rollback, broaden init-options match in uninstall
mnriem
committed
Fix recovery guidance for unreadable manifests, fix type annotations
mnriem
committed
Allow manifest-only uninstall for unknown/removed integrations
mnriem
committed
Fail fast on corrupt integration.json, validate integration options
mnriem
committed
Validate integration.json is a dict, fail fast on missing manifest in switch
mnriem
committed