https://deletejulllb.blogspot.com/2022/10/delete-remote-repository-github.html