Update pull_repos.py