updated update_all_github_repos.sh