Update pull_repos.py

Minor spelling change