bug fix:  dsdump required before git-pull