GitHub is already give or take a billion dollar business, and Microsoft is orders of magnitude bigger than that. This will be a nice little sideline for someone but it’s at least as valuable for mindshare as revenue.