update gitlab overview after migration

howto/gitlab.md

@@ -2,11 +2,12 @@
 Git-repository manager providing wiki, issue-tracking and continuous
 integration/continuous deployment pipeline features, using an
 open-source license, developed by GitLab Inc* ([Wikipedia](https://en.wikipedia.org/wiki/GitLab)). Tor
-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).
+uses GitLab for issue tracking, source code and wiki hosting, at
+<https://gitlab.torproject.org>, after migrating from [Trac](howto/trac)
+and [gitolite](howto/git).
 
-Note that continuous integration is documented separately, in [the CI page](service/ci).
+Note that continuous integration is documented separately, in [the CI
+page](service/ci).
 
 [[_TOC_]]
 
@@ -1923,7 +1924,7 @@ Some meetings about tools discussed GitLab explicitly. Those are the minutes:
 <!-- that has a launch checklist -->
 
 The GitLab project at Tor has been a long time coming. If you look at
-the [history](#history) section above, you'll see it has been worked on since
+the [Trac history](howto/trac#history) section, you'll see it has been worked on since
 at least 2016, at which point an external server was setup for the
 "network team" to do code review. This server was ultimately retired.