Home / Servers / GitHub API / repos_delete_an_environment
Delete an environment
An MCP tool from the GitHub API server, hosted on mcp.hjlabs.in.
Delete an environment OAuth app tokens and personal access tokens (classic) need the repo scope to use this endpoint. [DELETE /repos/{owner}/{repo}/environments/{environment_name}]
Name on the gateway: github_api__repos_delete_an_environment · 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… |
environment_name required | string | The name of the environment. The name must be URL encoded.… |
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_an_environment",
"arguments": {
"owner": "…",
"repo": "…",
"environment_name": "…"
}
}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 an environment tool with owner set to ….