GitLab has been upgraded GitLab 16, please report any issues!
See https://forum.torproject.net/t/tor-metrics-and-torproject-org-are-down/1889