Home / Servers / GitHub API / repos_delete_deployment
Delete a deployment
An MCP tool from the GitHub API server, hosted on mcp.hjlabs.in.
Delete a deployment If the repository only has one deployment, you can delete the deployment regardless of its status. If the repository has more than one deployment, you can only delete inactive deployments. This… [DELETE /repos/{owner}/{repo}/deployments/{deployment_id}]
Name on the gateway: github_api__repos_delete_deployment · may change things.
Parameters
| Name | Type | Description |
|---|---|---|
owner required | string | The account owner of the repository. The name is not case… |
repo required | string | The name of the repository without the .git extension. The… |
deployment_id required | integer | deployment_id parameter |
How to call it
Through the Smart Gateway, any client can run it by name with call_tool, or let the gateway find it with search_tools:
{
"name": "github_api__repos_delete_deployment",
"arguments": {
"owner": "…",
"repo": "…",
"deployment_id": 0
}
}Or connect the GitHub API server directly, which lists 1,221 tools including this one:
claude mcp add --transport http hj-github-api https://mcp.hjlabs.in/mcp/github-api \
--header "Authorization: Bearer YOUR_API_KEY"Try asking
Use the delete a deployment tool with owner set to ….