Opened 4 years ago

Closed 4 years ago

#18879 closed task (fixed)

Please rename the metrics-db Git repository to collector, and leave a redirect or notice

Reported by: karsten Owned by: tor-gitadm
Priority: Medium Milestone:
Component: Internal Services/Service - git Version:
Severity: Normal Keywords:
Cc: 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.


Child Tickets

Change History (3)

comment:1 Changed 4 years ago by weasel

created collector repo. Please let us know when we can retire metrics-db.

comment:2 Changed 4 years ago by karsten

Thanks! I just pushed master to the new repository. Feel free to retire metrics-db.

comment:3 Changed 4 years ago by weasel

Resolution: fixed
Status: newclosed

metrics-db removed.

Note: See TracTickets for help on using tickets.