Robuta

https://lists.torproject.org/mailman3/hyperkitty/list/tor-dev@lists.torproject.org/message/PBMTXDXFUS7O4ZKULTRWJXMLQR6QA5HQ/ Re: [tor-dev] Git hosting changes, git:// support discontinued - tor-dev - lists.torproject.org git hosting discontinued lists tor dev