We're currently using GitLab for this repo, but eventually we will migrate a lot of our code to GitHub. For now, there's no need, but as we open the code up to more contributors, GitHub will make it easier to enable broader community participation.