giving up on git pull