Yeah, and for even more context, it was CTO of Github! Wonder what happened there ¯\_(ツ)_/¯