[tor-bugs] #18879 [Internal Services/Service - git]: Please rename the metrics-db Git repository to collector, and leave a redirect or notice

[Tor Bug Tracker & Wiki]

#18879: Please rename the metrics-db Git repository to collector, and leave a
redirect or notice
-------------------------------------------------+------------------------
     Reporter:  karsten                          |      Owner:  tor-gitadm
         Type:  task                             |     Status:  new
     Priority:  Medium                           |  Milestone:
    Component:  Internal Services/Service - git  |    Version:
     Severity:  Normal                           |   Keywords:
Actual Points:                                   |  Parent ID:
       Points:                                   |   Reviewer:
      Sponsor:                                   |
-------------------------------------------------+------------------------
 The repository name metrics-db is confusing and should be changed to
 collector.  Is there a way to leave a redirect or notice for people still
 accessing metrics-db to tell them they should clone collector instead?

 If so, please rename the repository and leave that redirect or notice.

 If not, please let me know how bad of an idea this is.  Maybe I'll want it
 anyway, because not many people work on metrics-db.  Or maybe I'll want
 something different depending on the available options.

 Thanks!

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/18879>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online