https://locaakj.blogspot.com/2023/01/git-pull-replace-local-branch.html