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