use GitElephant for php/git

[luceos]

https://github.com/matteosister/GitElephant

[luceos]

overall this seems to slow down the processes, will investigate later