Update git-pull.php