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