delete-repository
Remove a GitHub repository permanently from GitHub Enterprise. This tool requires repository owner, name, and confirmation to delete the repository and all its contents.
Instructions
Delete a GitHub repository
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| confirm | Yes | Confirmation for deletion (must be true) | |
| owner | Yes | Repository owner | |
| repo | Yes | Repository name |
Input Schema (JSON Schema)
{
"properties": {
"confirm": {
"description": "Confirmation for deletion (must be true)",
"type": "boolean"
},
"owner": {
"description": "Repository owner",
"type": "string"
},
"repo": {
"description": "Repository name",
"type": "string"
}
},
"required": [
"owner",
"repo",
"confirm"
],
"type": "object"
}