factored further git-pull-repo