I would understand if they sold, but it would make me sad. GitHub has done a great job. I'd hate to see them have to answer to someone other than themselves.