Can we do away with public SVN?

According to https://svn.torproject.org/cgi-bin/viewvc.cgi/Tor/ , it's been at least six months since anything changed on the public SVN repository.

Most of the repositories there have been migrated to git.

We could migrate all the rest to git (if appropriate) or archive them (if appropriate), and turn off the lights on public svn.