https://oclakj.blogspot.com/2022/11/how-to-remove-git-repo-from-local.html