[tor-bugs] #24297 [Metrics/Bot]: Rename metrics-bot packages

["Tor Bug Tracker & Wiki" <blackhole@xxxxxxxxxxxxxx>]

#24297: Rename metrics-bot packages
-----------------------------+-----------------
     Reporter:  karsten      |      Owner:  irl
         Type:  enhancement  |     Status:  new
     Priority:  Medium       |  Milestone:
    Component:  Metrics/Bot  |    Version:
     Severity:  Normal       |   Keywords:
Actual Points:               |  Parent ID:
       Points:               |   Reviewer:
      Sponsor:               |
-----------------------------+-----------------
 This ticket is based on a discussion on #24036:

  - Rename root package `org.torproject.metricsbot` to
 `org.torproject.metrics.bot` (every dot counts!) to make it part of the
 Tor Metrics name space.

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

_______________________________________________
tor-bugs mailing list
tor-bugs@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs