I've seen this on a few projects. I think that Github does the big picture / little picture with "commits with" when commits by another one are added to a branch cut by another author. In this case it would be done by merging the develop
branch into the feature branch.
In pull request / feature branch:
I looked and the diffs for d679668
and 8317e24
are identical, but there is no merge conflict, so the pull request can still be merged. I think this is possible because the PR also has merge commits that probably resolved the self-conflicting commits, but I'd really like to know what the pull request creator did to have this happen in the first place.
My suggestion for resolving this issue would just be to cut a new branch from develop
and cherry pick the changes from the feature branch into the new branch (there are only a few). I'm more interested to know what could have caused these duplicate commits to appear in the pull request / other dev's feature branch.