Step 1.
Update the repo and checkout the branch we are going to merge
git fetch origin
git checkout -b LabExerR origin/LabExerR
Step 2.
Merge the branch and push the changes to GitLab
git checkout Develop
git merge --no-ff LabExerR
git push origin Develop
