[tor-commits] [gettor/master] Removed github repo from update_files