Update the repo and checkout the branch we are going to merge
git fetch origin
git checkout -b REPO1259 origin/REPO1259
Merge the branch and push the changes to GitLab
git checkout master
git merge --no-ff REPO1259
git push origin master
Part of fix for Repo1259.
This reverts commit 5f999fca5b53422ed2a63b8cad4490a942abbc5c.
mentioned in commit e5474b
mentioned in commit ff2e75