“Around the 2011-2012 timeframe, GitHub's revenue was only about $3-5 million.”