fixed git-pull-repo to overwrite local files