Hacker News Reader

There's plenty of time for this to happen...

well, not anymore, as he's no longer the CEO. Unless you count that as screwing up (which it might well be)

He is CEO through November 14th.

So you are saying there's still a chance?

How is GitHub integrated actually? Honest question. I use GitHub almost daily and I almost forgot MS acquired GitHub.

It is treated as a separate subsidiary - you have to actually turn in your badge at Microsoft and get a GitHub badge if you go work there.

I think Microsoft was well aware that they had to run GitHub differently. And then they found the right manager idling around.

Maybe. Another case is LinkedIn.