Comment by hamandcheese

Seems like they use gerrit. A lot of larger projects use gerrit for their code review. It is different, yes, but many prefer it over GitHub's "pull request" paradigm which really sucks for high velocity contributors.