GitLab’s current version allows one to delete a branch used in a Merge Request before the merge process is completed. If the branch is deleted, GitLab says that “Source branch XYZ does not exist”. Is this a bug or a feature? Shouldn’t the user be prevented to delete the branch before the merge request is closed?