Do you use Gitlab? Everybody on HN loves to love Gitlab because they're the underdog, and the product isn't bad, but it's not that great either.

Yes, I use it for personal projects. I also use a company-hosted version at work. The built in CI is great. I can't think of a reason, other than price for companies, why to use GitHub over gitlab. Both are great, but gitlab's built-in CI I think is easier to use and better integrated.