The files were formerly given as input by the user on the commandline when launching why3ide. Now, the path for the files and session directory are absolutized before they are sent to the itp_server.
Step 1. Fetch and check out the branch for this merge request
git fetch origin git checkout -b "issue_300" "origin/issue_300"
Step 2. Review the changes locally
Step 3. Merge the branch and fix any conflicts that come up
git fetch origin git checkout "origin/master" git merge --no-ff "issue_300"
Step 4. Push the result of the merge to GitLab
git push origin "master"
Note that pushing to GitLab requires write access to this repository.
Tip: You can also checkout merge requests locally by following these guidelines.