https://locaakj.blogspot.com/2023/07/git-remove-repository-local.html