[tor-dev] CollecTor has a new Git home

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1

Hi devs,

the CollecTor Git repository just moved from metrics-db to collector:

https://gitweb.torproject.org/collector.git/

The old name made sense when the Tor network data archive was still part of Metrics, but it's rather confusing since CollecTor and Metrics are two distinct services. Therefore the renaming.

If you have cloned the CollecTor sources in the past, you'll want to update the Git remote. The following line worked for me, but there are probably a dozen other ways:

git remote set-url origin https://git.torproject.org/collector

Let us know if you have any trouble.

All the best, Karsten