[tor-bugs] #20642 [Internal Services/Service - trac]: rename "Internal Services" trac component to "Infrastructure"?

[Tor Bug Tracker & Wiki]

#20642: rename "Internal Services" trac component to "Infrastructure"?
--------------------------------------------------+-----------------
     Reporter:  arma                              |      Owner:  qbi
         Type:  enhancement                       |     Status:  new
     Priority:  Medium                            |  Milestone:
    Component:  Internal Services/Service - trac  |    Version:
     Severity:  Normal                            |   Keywords:
Actual Points:                                    |  Parent ID:
       Points:                                    |   Reviewer:
      Sponsor:                                    |
--------------------------------------------------+-----------------
 It is weird that trac and deb.tpo and so on are labelled Internal. They're
 outside-facing, just for a different audience.

 What would happen if we named the top level component Infrastructure
 instead?

 I cc Isabela since she was involved in the last big renaming, and I cc
 hiro because I should just start doing that for all the tickets like this.
 :)

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