php script to force git pull