Somebody messed up the git repository with his merge. The only choice is to get back and throw away all changes before his commit. The problem is that the develop
branch is protected from push and we have to use merge requests. I forked new branch from the last commit before his merge and pushed it to GitLab. Gitlab complains that the MR is six commits behind the target branch and it wants to merge only new commit in my branch. It did not reset.
I think that the only way is to remove the branch protection and fix it there directly. Am I right?