Step 1. Update the repo and checkout the branch we are going to merge

git fetch origin
git checkout -b 10312 origin/10312

Step 2. Merge the branch and push the changes to GitLab

git checkout develop
git merge --no-ff 10312
git push origin develop