Manipulate git repositories with PHP.