Simple deployment of a git repository using php.