Re: [tor-dev] Git hosting changes, git:// support discontinued