I have been familiar with Miguel's work since the good old GNOME and Mono days (pre-Microsoft and even pre-Xamarin) and familiar with Miguel and Nat's work sinc

I have been familiar with Miguel's work since the good old GNOME and Mono days (pre-Microsoft and even pre-Xamarin) and familiar with Miguel and Nat's work since the Xamarin and Microsoft days and I really must say that GitHub could have got somebody far far worse on the executive level than Nat (and ScottGu above him, ofcourse, due to the same kind of personality). Nat can be best described as a OSS geek gone CEO, and thus I can't imagine a better executive within Microsoft to lead GitHub besides him. In fact, when I heard the first rumors and Chris not wanting to run operations anymore I immediately thought of Nat to run GitHub when Microsoft was crazy enough to buy it. Seems I was right :)