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