Comment by Fuzzwah

And then consider that GitHub hasn't had their own CEO for a year now.