https://locaakj.blogspot.com/2022/10/git-merge-remote-branch-into-local.html