I am a little bit confused.
I have a develop-branch (local and remote) and branched of a feature branch from it (only local). I did several commits to finish that feature and then merged the feature branch back into that develop branch. History looks fine. Feature commits were still in the feature branch plus one merge commit to develop.
Now, I wanted to be on the save side and ran a 'git pull origin
' on my develop branch (before pushing my work). The result is: the merge commit disappeared and I got duplicates (by content, not by SHA-1) of my feature commits on top of the last develop commit. The feature branch looks like not merged back (no connection back to develop).
Now, I am pretty lost and don't know what to do and what was wrong with that pull...