https://deletejulllb.blogspot.com/2022/10/delete-directory-from-github.html