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.

Merge remote-tracking branch 'tor-gitlab/mr/317'

9 jobs for master in 14 minutes and 21 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #13520
debian-disable-dirauth

00:05:43

passed #13521
debian-disable-relay

00:05:45

passed #13516
debian-distcheck

00:07:44

passed #13517
debian-docs

00:02:55

passed #13515
debian-hardened

00:08:16

passed #13518
debian-integration

00:14:01

passed #13514
debian-minimal

00:06:25

passed #13522
debian-nss

00:05:34

passed #13519
debian-tracing

00:08:29