I forked a GitHub repository. Then I pushed some changes to my fork. Then the original repository merged my changes and some others. Now, I want to merge those changes I’m missing. I tried a simple pull followed by push, but this yield my commits in duplicate. What’s the best way to do it?