Chris, the current CEO, was looking for his own replacement.

https://www.forbes.com/sites/alexkonrad/2017/08/17/github-ce...

The fact that he is now a technical fellow, it seems to me that this is the ideal outcome for all the parties involved.