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