GitHub isn’t his employer, what are you talking about?