I am using Sourcetree for my Git repo, which exists in Gitlab. I am creating merge requests on Gitlab’s website when I want to merge to development. Once it is merged to dev, I want to delete the feature branch, but I get a message in Sourcetree saying that it hasn’t been merged yet. I need to select the force delete option every time to actually delete it.