Add confirmed repository deletion tool - #3076

Merged

SamMorrowDrums merged 17 commits into

mainfrom

sammorrowdrums-add-delete-repository-tool

Aug 18, 2026

Commits on Aug 14, 2026

feat(repos): add confirmed repository deletion
SamMorrowDrums
committed
98aef1f

Commits on Aug 17, 2026

refactor(inventory): generalize tool availability guards
SamMorrowDrums
committed
c34055e
feat(http): protect MRTR request state
SamMorrowDrums
committed
14aea52
fix(repos): expire deletion confirmations
SamMorrowDrums
committed
676a5b2
Merge remote-tracking branch 'origin/main' into sammorrowdrums-add-delete-repository-tool
SamMorrowDrums
committed
8eba6fd
fix(http): preserve tool and scope restrictions
SamMorrowDrums
committed
c285c6a

Commits on Aug 18, 2026