They do use their own Gitlab installation for internal development. But they serve different purposes. Gitlab is used by developers accustomed to the project and Github to get new developers in.
GitLab.com co-founder here. Thanks for explaining Rovanion.