gitweb missing many tor repositories?

https://gitweb.torproject.org/ no longer has links for tor, torspec, etc.

Did we miss a line somewhere in some config file?