He co-founded GitHub and is the CEO presently. That will be good enough for you?