[tor-commits] [gettor/master] Fix git pull