Github PRs not showing

[cbeck]

When I pull my develop branch from github after merging a feature branch, the local repository shows the commit but if I try to delete my local feature branch I get the BRANCH-XYZ isn't fully merged. Do you want to force the deletion? message.

I’m guessing something about my github config is weird. Does anyone have any ideas?

[deathaxe]

How are feature branches merged?

In case of squash-merging via GH a new unrelated commit is created, which a local git can’t keep track of.

[cbeck]

I see, so I would need to make sure that our PRs are closed with a “Merge Commit” ?