gitolite: Redirect tor.git to Gitlab
Hello,
Network team is ready to have tor.git
on Gitolite to be redirected to Gitlab and thus become canonical repository:
https://gitweb.torproject.org/tor.git -> https://gitlab.torproject.org/tpo/core/tor
Thanks!