There is no Github anymore in any meaningful way. It's Microsoft. Github doesn't have a CEO anymore.