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