https://keroseneheaterreview.blogspot.com/2024/04/how-to-delete-directory-containing-git.html