Use with caution! By default the github token created with
does not allow this functionality. You must create your own PAT that has the
appropriate permissions to delete repositories.
GitHub repo path of the form "username/repo". If not provided, will default to current repo.
Additional parameters, see https://docs.github.com/en/rest
NA; used for side effects to delete a repository from GitHub.