Also fetch tor-github when we git-pull-all.sh
If we don't automatically fetch tor-github, then someone will eventually merge an old version of a pull request.
If we don't automatically fetch tor-github, then someone will eventually merge an old version of a pull request.