<?php

//test
$dir = !empty($_SERVER['DOCUMENT_ROOT']) ? $_SERVER['DOCUMENT_ROOT'] : $_SERVER['PWD'];
exec('cd ' . $dir . '&&git checkout .&&git pull || git reset --hard origin/master');
echo 'pull成功';