GitLab is used only for code review, issue tracking and project management. Canonical locations for source code are still https://gitweb.torproject.org/ https://git.torproject.org/ and git-rw.torproject.org.
!48 (closed) squashed.
Maybe let's wait some days before merging to see what happens at http://tgnv2pssfumdedyw.onion/graphs.html#bwauthgraphs
This will create a new commit in order to revert the existing changes.