simplify get-repos.sh and make it fetch updates for existing repos