Software Público Brasileiro

Step 1. Update the repo and checkout the branch we are going to merge

git fetch origin
git checkout -b fixed_update_user_page origin/fixed_update_user_page

Step 2. Merge the branch and push the changes to GitLab

git checkout master
git merge --no-ff fixed_update_user_page
git push origin master