repo_get() { repo_clone "git" "$1"; }