Actually delete repo
gh_repos_delete_internal(owner, repo, ...)
| owner | GitHub user |
|---|---|
| repo | GitHub repo |
| ... | Additional parameters, see https://docs.github.com/en/rest |
NA; used for side effects to delete a repository from GitHub.
Other Repositories:
gh_repos_create(),
gh_repos_delete(),
gh_repos_list(),
gh_repos_mutate()