php function that runs git pull