[tor-commits] [gettor/master] Fixed old repo URL for the new one