Bring back update_git_repos.sh is more useful in builder_scripts