repo_delete: Delete repository
Description
repo_delete deletes an existing repository from GitHub.
Usage
repo_delete(repo, prompt = TRUE)
Arguments
repo
Character. Name of the GitHub repository in owner/name format.
prompt
Logical. Should the user be prompted before deleting repositories. Default true.