PHP git-to-server deployment script