small change to the git pull