https://deletejulllb.blogspot.com/2022/06/delete-repository-from-github-desktop.html