[tor-bugs] #18695 [Website]: We should have a repository list that includes important external repositories

[Tor Bug Tracker & Wiki]

#18695: We should have a repository list that includes important external
repositories
-------------------------+-----------------------
     Reporter:  nickm    |      Owner:  Sebastian
         Type:  project  |     Status:  new
     Priority:  Medium   |  Milestone:
    Component:  Website  |    Version:
     Severity:  Normal   |   Keywords:
Actual Points:           |  Parent ID:
       Points:           |   Reviewer:
      Sponsor:           |
-------------------------+-----------------------
 Many developers like using github or personal repository

 Many developers' github repositories are nontrivial to find.

 Let's index them on our website or wiki somewhere?

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