Step 1. Update the repo and checkout the branch we are going to merge
git fetch origin git checkout -b export-comment-fix-button origin/export-comment-fix-button
Step 2. Merge the branch and push the changes to GitLab
git checkout master git merge --no-ff export-comment-fix-button git push origin master
mentioned in issue #100
mentioned in commit 0b0786263c97ad1b2577bec3e5b795cb3c048c48