Delete a repo on GitHub

Delete the repo REPO_NAME on the GitHub of user GITHUB_USER