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.
https everywhere forwards me on
But there I only get a cert for www.mysql.com that is invalid for that subdomain. It should be excluded from https everywhere.