From 08e7748ec4523c3e8315c1a3e4b8fe52fa6203aa Mon Sep 17 00:00:00 2001 From: Tom Henderson Date: Tue, 4 Jul 2023 12:02:34 -0700 Subject: [PATCH] doc: Fix warning about title underline too short --- doc/manual/source/working-with-git.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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.