Calling git from PHP

[Yorick de Wid]

I've had some issues with git. I believe you could better call a PHP git library that handles all the git actions. This fixes not only the ssh key problems but gives more controll to the deployment script. There are some pretty good git php libraries available.

[Marko Marković]

I wish for the script to remain small and simple and the way to achieve that is to depend on executing external binaries. The inclusion of external libraries would change the design of the script too much as right now it just generates a list of commands to be executed and executes them.