I think the strategy's reasonable from a "right tool for the job" standpoint. The key to product differentiation is, you know, differentiation; if GitLab wants to differentiate with a rich CI/CD experience while GitHub wants to differentiate with a rich social/collaboration experience, then great! I can push my code to both pretty trivially, so it seems reasonable to use both for what they're respectively good at.