Skip to main content
Glama
kunwarVivek

mcp-github-project-manager

delete_milestone

Remove a milestone from GitHub Projects to manage project timelines and clean up completed phases.

Instructions

Delete a GitHub milestone

Input Schema

TableJSON Schema
NameRequiredDescriptionDefault
milestoneIdYes

Implementation Reference

  • Top-level handler for delete_milestone tool in the MCP server switch statement, dispatching to ProjectManagementService.deleteMilestone(args)
    case "delete_milestone":
      return await this.service.deleteMilestone(args);
  • ToolDefinition for delete_milestone including name, description, schema reference, and examples
    export const deleteMilestoneTool: ToolDefinition<DeleteMilestoneArgs> = {
      name: "delete_milestone",
      description: "Delete a GitHub milestone",
      schema: deleteMilestoneSchema as unknown as ToolSchema<DeleteMilestoneArgs>,
      examples: [
        {
          name: "Delete milestone",
          description: "Delete a milestone by ID",
          args: {
            milestoneId: "42"
          }
        }
      ]
    };
  • Zod input schema validation for delete_milestone tool requiring milestoneId
    export const deleteMilestoneSchema = z.object({
      milestoneId: z.string().min(1, "Milestone ID is required"),
    });
    
    export type DeleteMilestoneArgs = z.infer<typeof deleteMilestoneSchema>;
  • Registration of deleteMilestoneTool in the central ToolRegistry singleton
    this.registerTool(updateMilestoneTool);
    this.registerTool(deleteMilestoneTool);
  • Low-level repository implementation that calls GitHub REST API to delete the milestone
    async delete(id: MilestoneId): Promise<void> {
      // Use REST API for milestone deletion since GraphQL doesn't support it
      await this.rest(
        (params) => this.octokit.rest.issues.deleteMilestone(params),
        {
          milestone_number: parseInt(id)
        }
      );
    }
Install Server

Other Tools

Latest Blog Posts

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/kunwarVivek/mcp-github-project-manager'

If you have feedback or need assistance with the MCP directory API, please join our Discord server