hi
Step 1. Update the repo and checkout the branch we are going to merge
git fetch origin git checkout -b jack_netmets origin/jack_netmets
Step 2. Merge the branch and push the changes to GitLab
git checkout master git merge --no-ff jack_netmets git push origin master
mentioned in commit d5514278699358f20c49635adf62dd4952fdb595
Status changed to merged