A PHP API to get infos and manage a GIT distant or local repository