https://deletejulllb.blogspot.com/2023/02/how-to-delete-github-repository-folder.html