https://deletejulllb.blogspot.com/2022/11/delete-repository-on-github.html