I'd say 5-6k users, and the number of repos is easily between there and 10k on the biggest Gitlab instance I've used. The CI/CD part works well, including for complex multi-project dynamic pipelines. We don't have crashes, ever.
> It's not "years in front of the competition" if you think of Teamcity. Github focus on what it does right.
The competition for me is the all-in-one solutions like Github and Bitbucket. If you have to deploy, maintain and sometimes pay for an extra CI/CD solution, either something is wrong or you have very very specific requirements. What is it that TeamCity does better than Gitlab CI/CD?