Github just tweeted they have a new CEO. cool.