Since libgit2 is not yet feature complete when compared to git core, I'm quite certain that they use both. (For example, libgit2 did not have merge until relat

Since libgit2 is not yet feature complete when compared to git core, I'm quite certain that they use both. (For example, libgit2 did not have merge until relatively recently, so they could not be using it to power pull requests.)