[tor-commits] [tor/main] git: Don't pull github anymore in git-pull-all.sh