I created a new branch, new-feature, off of a working feature branch that was in code review, working-feature.
My plan was this: Once working-feature got merged to our develop branch, I would git rebase the new feature branch so that it was based on the new version of develop.
HOWEVER, I forgot to run this rebase command before I pushed new-feature to Github. So now, my Pull Request into develop contains commits that have already been merged (commits from the original working-feature branch). These are all at the start of the list of commits, followed by the actual commits from the new-feature branch.
My question is: Is this a problem? Can I merge this PR with no issues? Is there anything that I can do to omit the commits that have already been merged? Thank you.