https://localsd.blogspot.com/2022/12/git-replace-local-branch-with-remote.html