Revert "Merge branch 'adinapoli/issue-504' into 'dev'"
This reverts merge request !439 (merged) (we want to test if this
This reverts merge request !439 (merged) (we want to test if this
Step 1. Fetch and check out the branch for this merge request
git fetch origin git checkout -b revert-97441f3d origin/revert-97441f3d
Step 2. Review the changes locally
Step 3. Merge the branch and fix any conflicts that come up
git fetch origin git checkout origin/dev git merge --no-ff revert-97441f3d
Step 4. Push the result of the merge to GitLab
git push origin dev
Note that pushing to GitLab requires write access to this repository.
Tip: You can also checkout merge requests locally by following these guidelines.