Step 1. Update the repo and checkout the branch we are going to merge
git fetch origin git checkout -b remove_chef_repo origin/remove_chef_repo
Step 2. Merge the branch and push the changes to GitLab
git checkout master git merge --no-ff remove_chef_repo git push origin master
mentioned in commit e80487f7369ef15bc2343500f8e47295ccbd6797