Hacker News Reader

Didn't the Xamarin guy became the CEO of GitHub at one point?

One of them, yes.

Miguel never did, and is now focused on Swift and Apple.

There was only ever one Xamarin CEO, Nat. Miguel was CTO

Yes, and that was an incredibly odd decision.