Comment by kelnos

> GitHub should hire him to be their CEO.

Not really the fix you think it might be. That wouldn't change Microsoft's ownership, and he'd still be hamstrung by whatever cost-cutting, anti-competitive, user-unfriendly bullshit Microsoft wants to shove down Github users' throats.