We in fact plan on using GitLab indeed, but for the sake of having more potential contributors, the GitLab will be somehow mirrored to GitHub.