What would happen if Elon Musk bought Github?