Dear users, Please note that, from Monday, August 16, 2019, RSA keys shorter than 2048bit will no longer be accepted for security reasons. Please update your keys as needed before this date. If you need assistance with regard to this process, please contact firstname.lastname@example.org
Thank you for your understanding.
Step 1. Fetch and check out the branch for this merge request
git fetch origin git checkout -b dev-nico origin/dev-nico
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 dev-nico
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.
This will create a new commit in order to revert the existing changes.
Luxembourg Institute of Science and Technology - www.list.lu.