diff --git a/doc/manual/source/working-with-git.rst b/doc/manual/source/working-with-git.rst index 0bd276ecc..161966094 100644 --- a/doc/manual/source/working-with-git.rst +++ b/doc/manual/source/working-with-git.rst @@ -256,7 +256,7 @@ It is strongly suggested to rebase your branch on top of upstream/master (or mas This helps reviewing the code changes proposed in the branch. merge it without conflicts, and it increase the speed of the GitLab CI. GitLab CI (Continuous Integration) -+++++++++++++++++++++++++++++++++ +++++++++++++++++++++++++++++++++++ GitLab provides a CI (Continuous Integration) feature. Shortly put, after every push the code is built and tests are run in one of the GitLab servers.