Delete a repository
delete_repoPermanently deletes a repository and its issues, pull requests, releases, wiki, and settings. Requires exact owner/repo confirmation because deletion cannot be undone.
Instructions
Permanently delete a repository with its issues, pull requests, releases, wiki and settings. There is no undo, so have the user confirm the exact repo first. Requires write mode, a write token with admin rights on the repo, and confirm exactly equal to "owner/repo"; a mismatch is refused before anything is sent. Answers {deleted: "owner/repo"}. To retire a repo but keep it readable, archive it with edit_repo (archived=true) instead.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | Repository name. | |
| owner | Yes | Repository owner. | |
| confirm | Yes | Safety guard: must be exactly `"owner/repo"`, or the delete is refused. |