https://catalogcasiokeyboardlk.blogspot.com/2023/08/how-to-delete-directory-containing-git.html