#22732 closed enhancement (fixed)

adapt metrics-lib official name to Tor Metrics Library

Reported by: iwakeh Owned by: iwakeh
Priority: Medium Milestone: metrics-lib 2.0.0
Component: Metrics/Library Version:
Severity: Normal Keywords:
Cc: Actual Points:
Parent ID: Points:
Reviewer: Sponsor:


This only affects documentation. The package renaming is done in task #19616.

Remove all usages of 'DescripTor' and replace them by 'Tor Metrics Library' or 'Metrics Library'.
The technical short name is 'metrics-lib' (i.e., trac)

(optimistically set milestone to 2.0.0)

Child Tickets

Change History (8)

comment:1 Changed 22 months ago by iwakeh

Owner: changed from metrics-team to iwakeh
Status: newaccepted

I can start with this:

  • Metrics-lib javadoc
  • and the metrics-web jsp.

comment:2 Changed 22 months ago by iwakeh

Status: acceptedneeds_review

Only a few changes in metrics-lib javadoc and even less in metrics-web.

Please review.

comment:3 Changed 22 months ago by karsten

Status: needs_reviewneeds_information

Pushed both commits to their respective masters. Leaving open in case there's more to do. Thanks!

comment:4 Changed 22 months ago by karsten

Ah, I just copied all release tarballs to a new directory: https://dist.torproject.org/metrics-lib/. I guess we'll call the next tarball metrics-lib-2.0.0.tar.gz. But we'll want to keep distributing the older tarballs (and not rename them). Does that make sense? Would you want to change any links, so that they point to the new directory?

comment:5 Changed 22 months ago by iwakeh

Yes, the new path and naming are fine; the old should stay as they are; maybe add a Readme.txt explaining the historic development?

comment:6 Changed 22 months ago by karsten

Sounds good, done. Is there anything else to be done here?

comment:7 Changed 22 months ago by iwakeh

Finished and close-ready.

comment:8 Changed 22 months ago by karsten

Resolution: fixed
Status: needs_informationclosed

Yay! Closing.

Note: See TracTickets for help on using tickets.