[tor-commits] [tor/master] scripts: In git-pull-all.sh, also fetch the latest tor-github pull requests