GitHub is no longer independent at Microsoft after CEO resignation