Repository navigation

feat: add DeleteFile tool to delete files from GitHub repositories - #356

Merged

williammartin merged 7 commits into

github:mainfrom

ashwin-ant:ashwin/deletefile

May 13, 2025

Commits on May 13, 2025
- feat: add DeleteFile tool to delete files from GitHub repositories
  
  authored and
  williammartin
  committed
  9affbc5
- feat: add ReadOnlyHint and DestructiveHint annotations to DeleteFile tool
  
  authored and
  williammartin
  committed
  3d5f6b7
- switch to approach that does commit signing
  
  ashwin-ant
  authored and
  williammartin
  committed
  4a5f290
- Add e2e tests for file and directory deletion
  williammartin
  committed
  880629f
- add comment
  
  ashwin-ant
  authored and
  williammartin
  committed
  36833ff
- fix mcp-go bump breaking change
  williammartin
  committed
  33d0402
- Add additional error handling on delete_file
  williammartin
  committed
  8c5af0e