github_repos_delete_deployment
Delete a specific GitHub deployment by providing the repository owner, repo name, and deployment ID. Removes the deployment record from the repository.
Instructions
Delete a deployment
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| owner | Yes | owner | |
| repo | Yes | repo | |
| deployment_id | Yes | deployment_id |