4 ms·

I think you might have GitHub and GitLab mixed up.

• OhMeadhbh 5mo ago
  Indeed I have. I didn't intend it to be, but it is accidentally a data point on the distinctiveness of brand names in this sector.