Performing a git pull in pure PHP Performing a git pull in pure PHP php php