delete_project
Remove a GitHub project from your repository. This tool deletes projects by ID to help manage and clean up your GitHub workspace.
Instructions
Delete a GitHub project
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| projectId | Yes |
Implementation Reference
- Main handler method in ProjectManagementService that executes the delete_project tool by calling the GitHubProjectRepository.delete method.async deleteProject(data: { projectId: string; }): Promise<{ success: boolean; message: string }> { try { await this.projectRepo.delete(data.projectId); return { success: true, message: `Project ${data.projectId} has been deleted`, }; } catch (error) { throw this.mapErrorToMCPError(error); } }
- ToolDefinition for delete_project including schema reference, description, and examples. The schema is defined just above at lines 1031-1035.export const deleteProjectTool: ToolDefinition<DeleteProjectArgs> = { name: "delete_project", description: "Delete a GitHub project", schema: deleteProjectSchema as unknown as ToolSchema<DeleteProjectArgs>, examples: [ { name: "Delete project", description: "Delete a GitHub project by ID", args: { projectId: "PVT_kwDOLhQ7gc4AOEbH" } } ] };
- src/infrastructure/tools/ToolRegistry.ts:197-197 (registration)Registration of deleteProjectTool in the central ToolRegistry during built-in tools initialization.this.registerTool(deleteProjectTool);
- GraphQL mutation definition for deleting a GitHub ProjectV2, called by the repository's delete method.mutation($input: DeleteProjectV2Input!) { deleteProjectV2(input: $input) {
- src/index.ts:271-272 (handler)Dispatch handler in main server that routes delete_project tool calls to ProjectManagementService.deleteProject.case "delete_project": return await this.service.deleteProject(args);