I am on a repo on github. I have one local branch called : master and on the remote repo there are two branches, branch1 and branch2. I cloned the repo from the branch1. But then, I wanted to pull branch2, which is quite different from branch1, into master. So I did : git pull origin master:branche2
But when I run a git diff command between master and the new local branch2, I have no differences. Does this mean that there was no merging, and that the former master has been totally replaced by the imported branch2 ?