git-pull: run repo-config with dash form.