https://localsd.blogspot.com/2023/05/git-reset-local-branch-to-remote.html