[tor-bugs] #18031 [Service - trac]: The repository browser still uses ARM name

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

#18031: The repository browser still uses ARM name
--------------------------------+-----------------
     Reporter:  cypherpunks     |      Owner:  qbi
         Type:  defect          |     Status:  new
     Priority:  Low             |  Milestone:
    Component:  Service - trac  |    Version:
     Severity:  Minor           |   Keywords:
Actual Points:                  |  Parent ID:
       Points:                  |    Sponsor:
--------------------------------+-----------------
 As ARM is now called Nyx the
 [https://trac.torproject.org/projects/tor/browser trac repository browser]
 should reflect this renaming.

 That said, is the repository browser even used with
 [https://gitweb.torproject.org/] in place?

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/18031>
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