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

Merged

mnriem merged 17 commits into

mainfrom

copilot/add-specify-integration-subcommand

Apr 3, 2026

Commits on Apr 3, 2026

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

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

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

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

Navigation Menu

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

Add `specify integration` subcommand for post-init integration management#2083
mnriem merged 17 commits into
mainfrom
copilot/add-specify-integration-subcommand

Commits on Apr 3, 2026

Initial plan

Add specify integration subcommand (list, install, uninstall, switch)

Address review feedback: extract helper, fix return type annotation

Potential fix for pull request finding 'Unused import'

Address review feedback: validate script type, handle --flag=value, fix metadata cleanup

Block --force with different integration, persist script type in init-options

Remove --force from integration install, ensure shared infra on install/switch

Remove redundant installed_key != key check

Run shared infra unconditionally, defer metadata removal in switch

Add install rollback, graceful manifest errors, clear switch metadata

Log rollback failures instead of silently suppressing them

Handle corrupt manifest in switch, distinguish unknown vs missing manifest

Clean up metadata on rollback, broaden init-options match in uninstall

Fix recovery guidance for unreadable manifests, fix type annotations

Allow manifest-only uninstall for unknown/removed integrations

Fail fast on corrupt integration.json, validate integration options

Validate integration.json is a dict, fail fast on missing manifest in switch