howto/gitlab.md

@@ -6,13 +6,9 @@ uses GitLab mainly for issue tracking, wiki hosting and code review
 for now, at <https://gitlab.torproject.org>, after migrating from
 [howto/trac](howto/trac).
 
-[[_TOC_]]
+Note that continuous integration is documented separately, in [the CI page](service/ci).
 
-<!-- note: this template was designed based on multiple sources: -->
-<!-- https://www.divio.com/blog/documentation/ -->
-<!-- http://opsreportcard.com/section/9-->
-<!-- http://opsreportcard.com/section/11 -->
-<!-- comments like this one should be removed on instanciation -->
+[[_TOC_]]
 
 # Tutorial