pu*AllRepos.sh: Since we'll be needing 2 machines, let's use the same script, to reduce maintenance.