I stressed the point that when Microsoft acquired GitHub, they sent the right person. There is a real conversation on "Hacker News," Reddit, and all the forums. They made it very clear it is part of the Hit Refresh Plan, so that GitHub will guide their value instead of the other way around.