Initial import of fetch-repos.pl