Commit 22da1649 authored by Jens Kroeger's avatar Jens Kroeger
Browse files


parent 472c64f4
Pipeline #1235993 passed with stages
in 14 minutes and 48 seconds
......@@ -29,7 +29,7 @@ As soon as there exists something in your branch, a merge request can be opened
1. Retrieve the latest changes from the upstream version as explained above.
2. Optionally format the code if you did not add the git-hook from the beginning, this can be done manually by running `make format` from the build directory.
3. Go to [merge request]( and click on 'New merge request'.
3. Go to [Merge Requests]( and click on 'New merge request'.
4. Follow the instructions. Do not forget to use the 'WIP:' prefix if your code is only partially ready. Then submit the merge request.
5. Please wait for the maintainers to give you access to the continuous integration (CI) runners that will check your code if you do not already have it.
6. Add all the specific runners on your local repository at
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment