[tor-bugs] #15855 [Service - git]: gitweb missing many tor repositories?

[Tor Bug Tracker & Wiki]

#15855: gitweb missing many tor repositories?
-------------------------+-------------------------------------------------
 Reporter:  arma         |          Owner:  erinn, nickm, Sebastian, weasel
     Type:  defect       |         Status:  new
 Priority:  normal       |      Milestone:
Component:  Service -    |        Version:
  git                    |  Actual Points:
 Keywords:               |         Points:
Parent ID:               |
-------------------------+-------------------------------------------------
 https://gitweb.torproject.org/ no longer has links for tor, torspec, etc.

 Did we miss a line somewhere in some config file?

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