Skip to content

Say what tools trash really does: delete or disable, never trash - #940

Merged
jeremy merged 5 commits into
mainfrom
docs/tools-trash-outcome
Oct 22, 2026
Merged

Say what tools trash really does: delete or disable, never trash#940
jeremy merged 5 commits into
mainfrom
docs/tools-trash-outcome

Say a deleted tool is deleted in tools show

7c57d9a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar