delete_milestone
Remove a GitHub milestone by specifying its unique ID. This tool helps manage GitHub projects by eliminating outdated or completed milestones efficiently.
Instructions
Delete a GitHub milestone
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| milestoneId | Yes |
Input Schema (JSON Schema)
{
"properties": {
"milestoneId": {
"type": "string"
}
},
"required": [
"milestoneId"
],
"type": "object"
}