@@ -558,17 +558,17 @@ func ForkRepository(getClient GetClientFn, t translations.TranslationHelperFunc)
558558
559559// DeleteFile creates a tool to delete a file in a GitHub repository.
560560// This tool uses a more roundabout way of deleting a file than just using the client.Repositories.DeleteFile.
561- // This is because REST file deletion endpoint (and client.Repositories.DeleteFile) don't add commit signing to the deletion commit,
562- // unlike how the endpoint backing the create_or_update_files tool does. This appears to be a quirk of the API.
563- // The approach implemented here gets automatic commit signing when used with either the github-actions user or as an app,
561+ // This is because REST file deletion endpoint (and client.Repositories.DeleteFile) don't add commit signing to the deletion commit,
562+ // unlike how the endpoint backing the create_or_update_files tool does. This appears to be a quirk of the API.
563+ // The approach implemented here gets automatic commit signing when used with either the github-actions user or as an app,
564564// both of which suit an LLM well.
565565func DeleteFile (getClient GetClientFn , t translations.TranslationHelperFunc ) (tool mcp.Tool , handler server.ToolHandlerFunc ) {
566566 return mcp .NewTool ("delete_file" ,
567567 mcp .WithDescription (t ("TOOL_DELETE_FILE_DESCRIPTION" , "Delete a file from a GitHub repository" )),
568568 mcp .WithToolAnnotation (mcp.ToolAnnotation {
569569 Title : t ("TOOL_DELETE_FILE_USER_TITLE" , "Delete file" ),
570- ReadOnlyHint : false ,
571- DestructiveHint : true ,
570+ ReadOnlyHint : toBoolPtr ( false ) ,
571+ DestructiveHint : toBoolPtr ( true ) ,
572572 }),
573573 mcp .WithString ("owner" ,
574574 mcp .Required (),
0 commit comments