Small improvement to check_repos.