Quick git question

I have the following merge request (see image). The commits with green lines next to them are already a part of the branch I want to merge to. The third commit is the one that I'd like to merge to the new branch. If I merge now, will it merge the duplicate commits too or is git intelligent enough to not include those? Ideally, I should have just created a new branch since I already merged, but I figured the branch was still open so I might as well just use that one.
No description
1 Reply
vince
vinceOP7mo ago
I ended up just closing the PR and creating another branch but wondering if there's a "cooler" way.
Want results from more Discord servers?
Add your server