Update get-repos.sh to do a git pull if the repository is already present