Can you delete a repo using pygithub? For example, as shown in this example, you can delete a file like so:
repo = g.get_repo("userName/repoName")
contents = repo.get_contents("filename.txt", ref="test")
repo.delete_file(contents.path, "remove test", contents.sha, branch="test")
Is there something analogous for deleting entire repos? If not, how can one do this via the github API?