Skip to content

Conversation

@Tarquinen
Copy link
Collaborator

Summary

  • Renames the pruning tool from prune (DCP) to simply prune for a cleaner, easier-to-type name
  • Updates default protected tools list and config template comment to match

The shorter name is cleaner and easier to type while still being descriptive.
Updates tool registration, default protected tools list, and config template comment.
@Tarquinen Tarquinen merged commit 0387402 into master Dec 1, 2025
1 check passed
@Tarquinen Tarquinen deleted the refactor/simplify-prune-tool-name branch December 1, 2025 02:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants