https://jeffbrown.tech/git-remote-local-merge/