Hi!
We are moving the metrics group [0] into the network health group [1] as we are going to incorporate it in the network health work we do at the Tor project.
Please, update your local repositories to point to the new location[2].
[0] https://gitlab.torproject.org/tpo/metrics [1] https://gitlab.torproject.org/tpo/network-health [2] https://gitlab.torproject.org/tpo/network-health/metrics
cheers, gaba