[inigyou]

But how much of the world's GitHub revenue? That's the important thing.