Please move one of my git repositories to the attic

This repo is no longer in use:

https://gitweb.torproject.org/linus/tor-extra.git/

Please move it to the attic.