A related note is that Github repos have much better SEO than gitlab repos. It is probably a combination of Github being weighted more heavily by search algorithms, but also because Github has a far better network effect. I've tried searching for a repo that is hosted on Gitlab, that is an extremely well written Pytorch library with hosted HTML documentation, etc, and it wouldn't even show up on the first page of Google search results. Meanwhile, a couple of repos on Github with the same or similar names (of far lower quality) were in the top-5 results. The only way I could reliably find the repo is by adding "Gitlab" to the search terms.

I'm also convinced that the repo would be quite popular were it posted on Github because many related Pytorch repos on Github with far poorer code quality and documentation have 1000+ stars. As much as I love Gitlab, it is very hard for me to use anything but Github when working on an Open Source Project that I want to get lots of eyeballs on and hopefully the satisfaction of having other users use my code.