Steps to reproduce:
- clone a repo from GitLab
- create feature branch
- create feature
- push feature branch to GitLab
- create merge request
- get the feature branch merged into master
- pull the updated master branch
- try to delete the feature branch using:
git branch -d feature_branch
Deleted branch feature_branch (was 30f4ecd).
error: The branch 'feature_branch' is not fully merged. If you are sure you want to delete it, run 'git branch -D feature_branch'.
Why does Git not recognize that the feature branch is fully merged?