You're right. But as far as I remember, neither GitHub nor GitLab were really mainstream at the time.

I think the real competition began around the same time.