The main concern is who should bought Github? Or maybe the founders should opened an IPO or went to the VC route.