@chr That's... not what that link says. "To stay independent we want that to be an IPO instead of being acquired." (Among lots of other reasonably clear business strategy items on their strategy page.)
(I don't think moving to gitlab.com is necessarily a better choice than GitHub, though.)