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)
        }
      );
    }

Tool Definition Quality

Score is being calculated. Check back soon.

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