Update repos.py