Update external-repos.bash