I am getting familiar with the GitHub API http://developer.github.com/v3/ I am trying things out both with RESTClient plugin for Firefox and with curl command line tool.
To delete a GitHub repo:
curl \ -X DELETE \ -H "Accept: application/vnd.github.v3+json" \ -H "Authorization: token ${token}" \ https://api.github.com/repos/${username}/${reponame}
Define or replace ${token}, ${username}, and ${reponame}. The token must have access to the delete_repo scope.
${token}
${username}
${reponame}
delete_repo