https://shoesandroidblog.blogspot.com/2023/09/git-repo-problem.html