modfied git-pull.php