Update clone_all_github_repos.py

fix