A PHP git library