[tor-commits] [gettor/master] Renamed update_github to a more generic update_git