https://wp.jochen.hayek.name/blog-en/2018/03/23/git-scm-merge-local-master-branch-with-remote-master-branch/