github_delete_repo
Permanently delete a GitHub repository, including all data, issues, pull requests, and wiki content. Use when a repository must be removed from GitHub permanently and cannot be recovered.
Instructions
Delete a GitHub repository permanently.
⚠️ This action cannot be undone. All data, issues, PRs, and wiki will be lost.
Args: owner: Repository owner repo: Repository name session_name: GitHub session to use
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | ||
| owner | Yes | ||
| session_name | No | default |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |