[tor-bugs] #19791 [Metrics/metrics-lib]: Use CollecTor's index.json for download; adapt current download to use new date format

[Tor Bug Tracker & Wiki]

#19791: Use CollecTor's index.json for download; adapt current download to use new
date format
---------------------------------+-----------------------------------
 Reporter:  karsten              |          Owner:  iwakeh
     Type:  defect               |         Status:  assigned
 Priority:  High                 |      Milestone:  metrics-lib 1.5.0
Component:  Metrics/metrics-lib  |        Version:
 Severity:  Normal               |     Resolution:
 Keywords:                       |  Actual Points:
Parent ID:                       |         Points:
 Reviewer:                       |        Sponsor:
---------------------------------+-----------------------------------
Changes (by karsten):

 * status:  merge_ready => assigned
 * milestone:  metrics-lib 1.4.0 => metrics-lib 1.5.0


Comment:

 Whee, it's released.  Congratulations!

 Moving to milestone metrics-lib 1.5.0 to discuss how to integrate
 `DescriptorIndexCollector` in a fully backward-compatible way.

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