delete a github repository using curl

winpty curl -X DELETE -H 'Authorization: token [GENERATED_TOKEN]' https://api.github.com/repos/[USER]/[REPO_NAME]

# follow steps here to generate token:
https://help.github.com/en/github/authenticating-to-github/creating-a-personal-access-token-for-the-command-linegit init
git add .
git commit -m "message for the commit"
git remote add origin https://url-of-github-repo
git push origin master or git push -f origin master