[tor-commits] [globe/master] Change Vagrantfile links to point to Tor Project gitweb.