git-pull fix